aboutsummaryrefslogtreecommitdiff
path: root/ide/ide_mac_stubs.c
AgeCommit message (Expand)Author
2011-06-10Coqide Menubar integration in MacOSpboutill
2011-04-08Macos integration step2 : shutdownpboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 03:59:03 +0000