aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/MacOS/default_accel_map
Commit message (Expand)AuthorAge
* Remove Whelp commands.Gravatar Maxime Dénès2015-02-17
* A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundleGravatar Pierre Boutillier2014-07-22