summaryrefslogtreecommitdiff
path: root/debian/TODO.Debian
blob: 61d5189d72afa92213ad14335b64fbaa70f12d9e (plain) 
1
2
3

* Move the coqide stuff from /usr/lib/coq/ide to /usr/share/coqide. The variable
  lib_ide should be changed to do that.
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 20:52:05 +0000