aboutsummaryrefslogtreecommitdiffhomepage
path: root/man/coqide.1
Commit message (Expand)AuthorAge
* Add coqide manpage (taken from Debian)Gravatar glondu2008-08-12