diff options
author | 2019-02-06 10:21:56 -0500 | |
---|---|---|
committer | 2019-02-06 10:21:56 -0500 | |
commit | 8474d99eafda72d767b8aed5385ef82df603e43b (patch) | |
tree | 2d5b93202e54f0b3f94f6ca30afbfa7c7acbd3aa /plugins/nsatz/ideal.ml | |
parent | 69e02ba439b2abee97315892c1354953e1c2099b (diff) |
Don’t install the `revision` file
On bytecode platforms, Coq installs a `revision` file containing
metadata about the build. This is bad for reproducibility, so don’t
install it.
Diffstat (limited to 'plugins/nsatz/ideal.ml')
0 files changed, 0 insertions, 0 deletions