summaryrefslogtreecommitdiff
path: root/debian/coqide.dirs
blob: f783eb3a2abd12e50a2b22b9b324baeaf099a070 (plain)
1
2
usr/share/doc/coqide
usr/share/applnk/Development