diff options
| author | Enrico Tassi | 2014-09-17 15:27:25 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-09-17 16:45:43 +0200 |
| commit | 0c974eb2e4788d1af2d1b759bd4ada3cb1fb9e77 (patch) | |
| tree | fd8119865b1855f4909ab42295038627a3132a2e /dev/base_include | |
| parent | a66d6e8e6d52d156d52e6282b879347c8922a4e8 (diff) | |
win32: remove outdated splash screen
The official Coq logo does not work as a splash screen.
Simplest fix: no splash screen.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions