summaryrefslogtreecommitdiff
path: root/debian/coq.xpm
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2009-02-02 09:40:28 +0100
committerGravatar Stephane Glondu <steph@glondu.net>2009-02-02 09:48:16 +0100
commit52f2f3f56bf017789616983ff8ba4f8eafcc4d3e (patch)
treec2e5170b1d4a143174e224e581f9d39956b0dda4 /debian/coq.xpm
parent14dc709ea517e2f7e1ff7df63deb42c009aa044d (diff)
Add NEWS and prepare upload
Diffstat (limited to 'debian/coq.xpm')
0 files changed, 0 insertions, 0 deletions