diff options
author | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2005-02-01 21:58:59 +0000 |
---|---|---|
committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2005-02-01 21:58:59 +0000 |
commit | 3b182903454caa27cd34fc38c594970a800dc9a1 (patch) | |
tree | 0cb1e18612d495de06199f9d29ef4dd8764bc68e /debian/TODO.Debian | |
parent | 6b61b68d5822575015583047e1d266b8257e35d5 (diff) |
Better handling of arch-indep packages.
Diffstat (limited to 'debian/TODO.Debian')
-rw-r--r-- | debian/TODO.Debian | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/TODO.Debian b/debian/TODO.Debian index 61d5189d..5cba552e 100644 --- a/debian/TODO.Debian +++ b/debian/TODO.Debian @@ -1,3 +1,4 @@ * Move the coqide stuff from /usr/lib/coq/ide to /usr/share/coqide. The variable lib_ide should be changed to do that. +* Remove the .byte files on native archs. |