diff options
author | Stephane Glondu <steph@glondu.net> | 2009-02-01 07:36:03 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2009-02-01 11:47:49 +0100 |
commit | 14dc709ea517e2f7e1ff7df63deb42c009aa044d (patch) | |
tree | 6ab7cdfe4c2cd7d5a75b802000a10e1b40ce9872 /debian/coqide.1 | |
parent | 3300be3e0a6ab9ff1ba46e7139aafa4a743cbe57 (diff) |
Update changelog
Diffstat (limited to 'debian/coqide.1')
0 files changed, 0 insertions, 0 deletions