diff options
Diffstat (limited to 'dev/nsis/coq_splash.bmp')
| -rwxr-xr-x | dev/nsis/coq_splash.bmp | bin | 0 -> 360054 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/dev/nsis/coq_splash.bmp b/dev/nsis/coq_splash.bmp Binary files differnew file mode 100755 index 000000000..c80220476 --- /dev/null +++ b/dev/nsis/coq_splash.bmp |