proton: Track prefix files and remove them on a major proton version change

This is to allow downgrading prefixes, for example if a user switches
from 3.16 to 3.7.
This commit is contained in:
Andrew Eikum 2018-10-09 10:33:41 -05:00
parent 90ef255eb9
commit 64f4d42c77
3 changed files with 1937 additions and 4 deletions

1890
proton_3.7_tracked_files Normal file

File diff suppressed because it is too large Load diff