diff options
author | Stephane Glondu <steph@glondu.net> | 2008-07-28 15:55:17 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2008-07-28 15:55:17 +0200 |
commit | be8dd49cdf08dbeae0d6f36b717a54793418086b (patch) | |
tree | 39d0d059e10b979bfb7b2502b62f811d58aa2b16 /debian/coq_makefile.1 | |
parent | 4cc16f522c193923b93d38d637a6dcae1e1a96b7 (diff) |
Install also *.cm[iox] files
Diffstat (limited to 'debian/coq_makefile.1')
0 files changed, 0 insertions, 0 deletions