diff options
author | Stephane Glondu <steph@glondu.net> | 2008-08-08 13:18:48 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2008-08-08 13:18:48 +0200 |
commit | bd4bb27ee4f66b08434d9a199f00b04ccec34722 (patch) | |
tree | ee389e744201c32fc4e74eadc34e0227c4008b5d /debian/coqide.docs | |
parent | db4ea6ddcbeb0dea41267dc87a30b76a01e402af (diff) | |
parent | 870075f34dd9fa5792bfbf413afd3b96f17e76a0 (diff) |
Merge commit 'upstream/8.2.beta4+dfsg'
Diffstat (limited to 'debian/coqide.docs')
0 files changed, 0 insertions, 0 deletions