diff options
| author |  Stephane Glondu <steph@glondu.net> | 2012-03-27 07:50:59 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2012-03-27 08:18:51 +0200 |
| commit | d06daee9d257c470bba9c29c283b506201db86fa (patch) | |
| tree | e9d696fe452a10f47caf371ae7bd99d3909ac547 /debian/coqide.1 | |
| parent | ad988252cac876f0b9998b5223f565d0a22aebb8 (diff) | |
New upstream release
Diffstat (limited to 'debian/coqide.1')
0 files changed, 0 insertions, 0 deletions