diff options
| author | Jakob Unterwurzacher | 2016-06-23 21:29:00 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-06-23 21:38:59 +0200 |
| commit | b17f0465c7c38cab2f1f4ad0fc25d64d5cd175e7 (patch) | |
| tree | c898e5a535f0f9c0f8fcd8c58a01ac78ac550298 /test.bash | |
| parent | 8a2e1a543aa793bf234838b8ba03b28c43f802a8 (diff) | |
Drop deprecated "-diriv" option
The DirIV feature flag is already mandatory, dropping the command
line option is the final step.
Diffstat (limited to 'test.bash')
0 files changed, 0 insertions, 0 deletions