diff options
| author | Zero~Informatique | 2021-07-01 19:37:53 +0200 |
|---|---|---|
| committer | Zero~Informatique | 2021-07-01 19:37:53 +0200 |
| commit | 9a72f5d3a2251b438017b08eec673bb800636e91 (patch) | |
| tree | 280ae8f4ad08c8fdefb7139732468c41058e607c /scripts/dev_win_help.cmd | |
| parent | 1cf6dd4243a72935d382d62bb2a79ff13186e70d (diff) | |
| download | ldgallery-9a72f5d3a2251b438017b08eec673bb800636e91.tar.gz | |
viewer: Script domain naming convention
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 | ||