diff options
author | Zero~Informatique | 2020-02-13 16:30:38 +0100 |
---|---|---|
committer | Zero~Informatique | 2020-02-13 16:43:07 +0100 |
commit | 9c2af5dcd2d2c8754e4c74e02141822c0964a5a8 (patch) | |
tree | 280836d2d4e931a294e1beebf37c0ee886901b5f /scripts/win_help.cmd | |
parent | af4660b4c4fea455dfffbf2d966bae425ed6effb (diff) | |
download | ldgallery-9c2af5dcd2d2c8754e4c74e02141822c0964a5a8.tar.gz |
moved utility scripts to their dedicated folder
Diffstat (limited to 'scripts/win_help.cmd')
-rw-r--r-- | scripts/win_help.cmd | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/win_help.cmd b/scripts/win_help.cmd new file mode 100644 index 0000000..117205a --- /dev/null +++ b/scripts/win_help.cmd | |||
@@ -0,0 +1,5 @@ | |||
1 | @echo off | ||
2 | cd ..\compiler\ | ||
3 | stack exec ldgallery-compiler-exe -- --help | ||
4 | @echo. | ||
5 | @pause | ||