diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-07-28 16:15:16 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-07-28 16:15:16 +0200 |
| commit | cd46e5dd680be14a5f5401cfc00af3a7d2ad8847 (patch) | |
| tree | 86158736eec225fe3a4aa051429245b3886e84dd /debian/coq.xpm | |
| parent | d6c7661cea5a874663179d806199634b7c4076ed (diff) | |
Update changelog
Diffstat (limited to 'debian/coq.xpm')
0 files changed, 0 insertions, 0 deletions