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/coq-libs.dirs | |
| parent | db4ea6ddcbeb0dea41267dc87a30b76a01e402af (diff) | |
| parent | 870075f34dd9fa5792bfbf413afd3b96f17e76a0 (diff) | |
Merge commit 'upstream/8.2.beta4+dfsg'
Diffstat (limited to 'debian/coq-libs.dirs')
0 files changed, 0 insertions, 0 deletions