/distrib/windows/

• ../
• LICENSE_SPLASH
• coq.nsi
• coq_splash.bmp
• coq_splash.png