Commit Graph

1 Commits

Author SHA1 Message Date
Tobias Kohlbau
4302675092 [options] makes options case insensitive
This resolves #987

Signed-off-by: Tobias Kohlbau <tobias@kohlbau.de>
2017-04-27 12:20:21 +02:00