jirac/jirac — pull request #40 by lesaint (2014-08-21 14:06:20+00:00)
Title: [#39] comportement incorrect en cas d'option raccourcie inconnue

correction du traitement des paramètres de la ligne de commande d'une part et correction des méthodes usage_and_exit and message_and_exit d'autre part