diff options
author | Paweł Redman <pawel.redman@gmail.com> | 2018-05-16 19:17:02 +0200 |
---|---|---|
committer | Paweł Redman <pawel.redman@gmail.com> | 2018-05-16 19:17:02 +0200 |
commit | d60566c7e31293273b417679782f0614dd00d01a (patch) | |
tree | e08a88a98583296fed9e95dcca4c45859e8bf5d0 /Makefile | |
parent | c9998b28fb18a7b3f5b8481058da1c224e4cc6e1 (diff) |
Better option parsing.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions