diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-02-10 09:22:21 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-02-10 09:26:44 +0100 |
| commit | 56bd4231e2e24c357d5fa78ce46512f843a0f56a (patch) | |
| tree | 352514462683621e424aceb7bc6b434780a4159b /toplevel/coqinit.mli | |
| parent | 9c1344f1390bc86887ef1a39b46ef12e896e2399 (diff) | |
Bump Standards-Version to 3.8.4 (no changes)
Diffstat (limited to 'toplevel/coqinit.mli')
0 files changed, 0 insertions, 0 deletions