diff options
| author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2018-07-18 08:45:26 +0200 |
|---|---|---|
| committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2018-07-18 08:45:26 +0200 |
| commit | 95c66aa56274c76b7a1963debc9ebcddb7fcc9a8 (patch) | |
| tree | 6500ddeea12e8b510f9b37d42a32ba705ceb790a /.gitignore | |
| parent | 097cd2287d08743558320f3f08c09fa3e5b7a60b (diff) | |
| download | ODR-SourceCompanion-95c66aa56274c76b7a1963debc9ebcddb7fcc9a8.tar.gz ODR-SourceCompanion-95c66aa56274c76b7a1963debc9ebcddb7fcc9a8.tar.bz2 ODR-SourceCompanion-95c66aa56274c76b7a1963debc9ebcddb7fcc9a8.zip | |
Remove unused getopt options
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions