diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-04-15 16:05:25 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-04-15 16:05:25 +0000 |
commit | 4bd2e928e3b8d463bb793ad814ff42abdabf9611 (patch) | |
tree | 37d79b53c7713599b5fe9d83786c7b9b8ddaf9b3 /checker/votour.ml | |
parent | 589c0c07eb3f9554f6d0949c07f475be53b1bb2b (diff) |
Checker : a md5-based way to ensure checker/values.ml is always in sync
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16404 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'checker/votour.ml')
0 files changed, 0 insertions, 0 deletions