aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/MacOS
ModeNameSize
-rw-r--r--Info.plist.template2437logplain
-rw-r--r--coqfile.icns234599logplain
-rw-r--r--coqide.icns326632logplain
-rw-r--r--default_accel_map23379logplain
-rwxr-xr-xrelatify_with-respect-to_.sh405logplain