diff options
| author | Enrico Tassi | 2014-09-17 12:01:19 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-09-17 14:55:07 +0200 |
| commit | 676fd439fd98f71100ffcf5306dcb7704cd11e79 (patch) | |
| tree | 573fa98c1b971b2bf1025de72bb7298e07e006ca /dev/base_include | |
| parent | a4ad14610cc0baab46264b179c4b8057f40d52c7 (diff) | |
win32: use subsystem windows on windows (and not console)
This makes the hammer tools/mkwinapp.ml kind of obsolete
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions