summaryrefslogtreecommitdiff
path: root/ide/coq_icon.rc
Commit message (Expand)AuthorAge
* Imported Upstream version 8.3.pl2upstream/8.3.pl2Gravatar Stephane Glondu2011-04-19