diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-11-19 16:02:04 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-11-19 16:02:04 -0500 |
commit | 027ffcf5b2e3f71a42857547b17b0824d38a3f85 (patch) | |
tree | 326754f0948b772e98dec6eaea1915888f481412 /src/settings.sml | |
parent | 30dd885d1fc3013be0e3c2a45b2e0117f684f40a (diff) |
Fix condition for installing new cache entries
Diffstat (limited to 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions