aboutsummaryrefslogtreecommitdiff
path: root/ide/mac_default_accel_map
AgeCommit message (Expand)Author
2011-06-10Coqide Menubar integration in MacOSpboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 02:56:54 +0000