diff options
| author |  Stephane Glondu <steph@glondu.net> | 2012-01-12 16:30:22 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2012-01-12 18:33:23 +0100 |
| commit | f231ae59d9189649cb69262376b2f2dab4b543a2 (patch) | |
| tree | 2907531f08c1d78d1ce4275fcf7c18737d642520 /debian/coq-theories.dirs | |
| parent | d3ba3713b521ffe82e95d50d2948dba088b5a78b (diff) | |
Add distclean target to test-suite/Makefile
Diffstat (limited to 'debian/coq-theories.dirs')
0 files changed, 0 insertions, 0 deletions