diff options
Diffstat (limited to 'check')
-rwxr-xr-x | check | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -7,5 +7,3 @@ set -euo pipefail subplot docgen puomi.md -o puomi.pdf subplot docgen puomi.md -o puomi.html -subplot codegen puomi.md -o test.py -python3 test.py --log test.log |