diff options
| author | Jakob Unterwurzacher | 2015-11-02 23:08:51 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2015-11-02 23:09:51 +0100 |
| commit | 0ec17c3939ea89b353d9419da591a75fe44df6a2 (patch) | |
| tree | f17655eef7cf9a4ffada2a10f64f4443824cfc2a /build.bash | |
| parent | a3244070829202ba8e1d52580d0ce7f76b16fe6c (diff) | |
Add "--plaintextnames" option
Also, gather all the command line arguments into an anonymous struct
"args".
Diffstat (limited to 'build.bash')
0 files changed, 0 insertions, 0 deletions