diff options
author | Stephane Glondu <steph@glondu.net> | 2010-11-30 16:29:02 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2010-11-30 16:29:02 +0100 |
commit | a3c2b799e0eceb0896af062887c762c654d2e2f6 (patch) | |
tree | 441544f13cef0d9152b3309322e40f0d46cce17b /coq.ml | |
parent | cb529a5fc2c760f57db3f2213570044442540992 (diff) |
Fill ITP number and prepare upload to experimentaldebian/0.1-r13244-1
Diffstat (limited to 'coq.ml')
0 files changed, 0 insertions, 0 deletions