diff options
Diffstat (limited to 'doc/progs/run')
-rwxr-xr-x | doc/progs/run | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/progs/run b/doc/progs/run index da777f329..71759c565 100755 --- a/doc/progs/run +++ b/doc/progs/run @@ -16,6 +16,7 @@ effective_go=" eff_bytesize eff_qr eff_sequence + eff_unused2 " error_handling=" |