diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-02-10 09:20:56 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-02-10 09:26:44 +0100 |
| commit | 9c1344f1390bc86887ef1a39b46ef12e896e2399 (patch) | |
| tree | 941665660b142915ad0c3a2932f6394409a502f9 /debian/coq.install.in | |
| parent | 39cc8d15c2b2fecf6cd67376e5e7df42a98ba132 (diff) | |
Make NEWS file Lintian-friendly
Diffstat (limited to 'debian/coq.install.in')
0 files changed, 0 insertions, 0 deletions