aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/.coqide-gtk2rc
Commit message (Expand)AuthorAge
* coqide: toolbar/autosaveGravatar monate2003-05-07
* coqide: search forw+backGravatar monate2003-04-29
* coqide: search forwardGravatar monate2003-04-28