diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-01 07:23:24 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-01 11:10:05 +0100 |
| commit | 862c8a23a8f1314f8b7764a54faae30824abdc4a (patch) | |
| tree | b12f028ee70bb21e823a9db66f3059901bf3bfb8 /debian/coq-theories.doc-base | |
| parent | 308a600796e061470f233a80b2b7dd71ad766f02 (diff) | |
Add debian/clean
Diffstat (limited to 'debian/coq-theories.doc-base')
0 files changed, 0 insertions, 0 deletions