Give a hint when option is unknown
authorRicardo Mones <ricardo@mones.org>
Fri, 4 Jan 2019 19:07:49 +0000 (20:07 +0100)
committerRicardo Mones <ricardo@mones.org>
Fri, 4 Jan 2019 19:07:49 +0000 (20:07 +0100)
commit0b510383802dc6d6a70cf3897b7293799c1ba570
treec4062f8ee6a468027718204e09f0d695c025dd8d
parentb249609f1b0639c075f4089555cf31eaa82fa104
Give a hint when option is unknown
src/main.c