better error reporting when using bad options
commitbd8150e8dc5475cf14db46bed20cb8c70a424f98
authorFlavio Poletti <flavio@polettix.it>
Mon, 12 Aug 2013 05:37:12 +0000 (12 07:37 +0200)
committerFlavio Poletti <flavio@polettix.it>
Mon, 12 Aug 2013 05:37:12 +0000 (12 07:37 +0200)
tree878c3903e3a5a29c75cb5c8672f5e8eb265320ee
parent185cfee73e7afe8edec3cd0a2cd7552d0c4bca97
better error reporting when using bad options
remote