MassimoLauria/cnfgen — pull request #17 by marcvinyals (2014-02-27 12:48:45+00:00)
Title: Fix help

Fix help message as reported by Mladen