diff options
author | Jason Gross <jgross@mit.edu> | 2016-02-23 16:18:41 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-02-23 16:20:01 -0500 |
commit | f2dc40687111f23af0c5c0efa48399253e8d34fa (patch) | |
tree | 953e8c391ef452dcde3c94a3c0b56bc998f9b5b0 /coqprime | |
parent | a46dbbec5fc2cd3ffc5c6d4be751e42aa2b7cafb (diff) |
Add etc/freshen-bedrock-files.sh
It is used on smithers to remove .vo files which are older than relevant
Bedrock .vo files. This prevents version mismatches when updating Bedrock on
smithers.
Diffstat (limited to 'coqprime')
0 files changed, 0 insertions, 0 deletions