diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-02 09:40:28 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-02 09:48:16 +0100 |
| commit | 52f2f3f56bf017789616983ff8ba4f8eafcc4d3e (patch) | |
| tree | c2e5170b1d4a143174e224e581f9d39956b0dda4 /debian/coq.xpm | |
| parent | 14dc709ea517e2f7e1ff7df63deb42c009aa044d (diff) | |
Add NEWS and prepare upload
Diffstat (limited to 'debian/coq.xpm')
0 files changed, 0 insertions, 0 deletions