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-11bbbae2850b9c45da697a8ed9626495a50a38c0.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 | ||