diff options
author | 2011-11-02 22:31:42 +0100 | |
---|---|---|
committer | 2011-11-02 22:32:14 +0100 | |
commit | 92e2e560591cb81da28caac675dd12982458c015 (patch) | |
tree | 8859e19589fdbcf6dc67d2937ec9f25d91648c0f /toplevel/coqtop.mli | |
parent | f23ca11128fd713789e64a93090d6fd7ec9eca72 (diff) |
Bump Standards-Version to 3.9.2 (no changes)
Diffstat (limited to 'toplevel/coqtop.mli')
0 files changed, 0 insertions, 0 deletions