aboutsummaryrefslogtreecommitdiff
path: root/ide/utils/configwin_types.mli
AgeCommit message (Expand)Author
2016-09-21Removing dead code in CoqIDE.Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-24 21:31:44 +0000