summaryrefslogtreecommitdiff
path: root/debian/coqide.links.in
blob: c73095fe6487bb95e9a697673a10a6ef09c8aea6 (plain)
1
2
/usr/share/man/man1/coqide.1 /usr/share/man/man1/coqide.byte.1
OPT: /usr/share/man/man1/coqide.1 /usr/share/man/man1/coqide.opt.1