diff options
author | 2006-11-11 11:19:26 +0000 | |
---|---|---|
committer | 2006-11-11 11:19:26 +0000 | |
commit | a5bd4e097a94cc4f863bf4d4bcc5ce592c30ba47 (patch) | |
tree | aba07f33828fb46dabc3a794cd61467025514f1f /debian/coqide.1 | |
parent | d48088e46f19072a4ad26dca191dff68c227300e (diff) |
Made the package binNMU-safe.
Diffstat (limited to 'debian/coqide.1')
0 files changed, 0 insertions, 0 deletions