diff options
author | pacien | 2022-09-04 18:18:27 +0200 |
---|---|---|
committer | pacien | 2022-09-04 18:18:27 +0200 |
commit | 11bbbae2850b9c45da697a8ed9626495a50a38c0 (patch) | |
tree | ff2713118f8b45d36905bfea2933f08d8e70066d /scripts/dev_win_help.cmd | |
parent | e93f7b1eb84c083d67567115284c0002a3a7d5fc (diff) | |
parent | 8349be992b46b77dee921f484cfbff8b758ff756 (diff) | |
download | ldgallery-2.1.tar.gz |
Merge branch 'develop': release v2.1v2.1
GitHub: related to #315
Diffstat (limited to 'scripts/dev_win_help.cmd')
-rw-r--r-- | scripts/dev_win_help.cmd | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/scripts/dev_win_help.cmd b/scripts/dev_win_help.cmd deleted file mode 100644 index f0bdb98..0000000 --- a/scripts/dev_win_help.cmd +++ /dev/null | |||
@@ -1,5 +0,0 @@ | |||
1 | @echo off | ||
2 | cd ..\compiler\ | ||
3 | stack exec ldgallery -- --help | ||
4 | @echo. | ||
5 | @pause | ||