diff options
author | Vincent Ambo <tazjin@gmail.com> | 2017-08-22T16·29+0200 |
---|---|---|
committer | Vincent Ambo <tazjin@gmail.com> | 2017-08-22T16·41+0200 |
commit | a9c450c5a33a3e410377e1fde21c45e2db6bf51c (patch) | |
tree | 32f5406666444f9286689c3211bad9fb87eb6ced /.gitignore | |
parent | 93425b951ce5afc1fed1a78232493002f8472dea (diff) |
fix build: Build Windows executable with correct name
Windows executable filenames must end in ".exe" because the operating system can't execute them otherwise. This fixes #73
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions