coqide.links.in « debian - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

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`