aboutsummaryrefslogtreecommitdiff
path: root/etc
Commit message (Collapse)AuthorAge
* Add coq-scripts submodule for timing scriptsGravatar Jason Gross2016-06-22
|
* Fix freshen-bedrock-files.shGravatar Jason Gross2016-04-03
| | | | Previously, it was not actually recording when it found things.
* Add etc/freshen-bedrock-files.shGravatar Jason Gross2016-02-23
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.