/ide/coqide/MacOS/

• ../
• coqfile.icns
• coqide.icns