aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide_WIN32.ml.in
AgeCommit message (Expand)Author
2018-11-28coqide: Remove unused win32_kill C functionGaëtan Gilbert
2018-11-02Select OS specific coqide code with cp.Gaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 20:57:03 +0000