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