diff options
| author |  Stephane Glondu <steph@glondu.net> | 2011-11-02 22:31:42 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2011-11-02 22:32:14 +0100 |
| commit | 92e2e560591cb81da28caac675dd12982458c015 (patch) | |
| tree | 8859e19589fdbcf6dc67d2937ec9f25d91648c0f /parsing/g_proofs.ml4 | |
| parent | f23ca11128fd713789e64a93090d6fd7ec9eca72 (diff) | |
Bump Standards-Version to 3.9.2 (no changes)
Diffstat (limited to 'parsing/g_proofs.ml4')
0 files changed, 0 insertions, 0 deletions