diff options
author | 2016-07-23 16:36:16 -0400 | |
---|---|---|
committer | 2016-07-23 16:44:14 -0400 | |
commit | ffcbcd6eb138bdd08b3b4ae9170d7c3441a30aaf (patch) | |
tree | b381e7a9aed1158f850aa0f6d4dccd62b7392f82 /theory.mli | |
parent | 4bd88e8337ba04e0575150d9df1400fc96fa56af (diff) |
Bump Standards-Version to 3.9.8
No change required
Diffstat (limited to 'theory.mli')
0 files changed, 0 insertions, 0 deletions