diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2019-06-29 18:51:00 +0200 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2019-06-29 18:51:00 +0200 |
| commit | fb3616e06ca20ffe78dfb00b962a2599a46b2a5f (patch) | |
| tree | fe7ad54e8cb17174b3296b63f41ad1f5b1038f8e /postprocess.sh | |
| parent | b4bf8417af0d8ebff2c50570c70fdecaf6a53ed9 (diff) | |
Clean up 1992 post processing
Diffstat (limited to 'postprocess.sh')
| -rw-r--r-- | postprocess.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/postprocess.sh b/postprocess.sh index 9316357..bc70492 100644 --- a/postprocess.sh +++ b/postprocess.sh | |||
| @@ -26,4 +26,4 @@ fi | |||
| 26 | 26 | ||
| 27 | cd work || exit 1 | 27 | cd work || exit 1 |
| 28 | 28 | ||
| 29 | for a in 199[56789]_Q? 20*_Q?; do ./sort_plz $a; done | 29 | for a in ????_Q?; do ./sort_plz $a; done |