/ide/coqide/MacOS/

• ../
• Info.plist.template
• coqfile.icns
• coqide.icns