8 Commits

Author	SHA1	Message	Date
Thomas Waldmann	12f55f4e9f	Merge branch '1.0-maint'	2016-07-06 01:33:53 +02:00
Thomas Waldmann	740c638030	update usage files	2016-07-05 23:30:08 +02:00
Marian Beermann	0a369c0985	Better help texts and Sphinx reproduction of usage ... - Group options - Nicer list of options in Sphinx - Deduplicate 'Common options' (including --help) The latter is done by explicitly declaring --help in the common_parser, which is then inherited by the sub-parsers; no change in observable behaviour.	2016-04-10 01:28:19 +02:00
Thomas Waldmann	cece7f9e6d	merged 1.0-maint into master	2016-04-10 01:13:35 +02:00
Thomas Waldmann	d5d037b97d	ran build_api build_usage	2016-04-08 23:38:46 +02:00
Daniel Reichelt	9adf13d8b9	add changes from running build_api and build_usage	2016-03-17 14:35:56 +01:00
Thomas Waldmann	f7abff87f9	ran build_usage	2015-12-08 10:21:20 +01:00
Antoine Beaupré	8e36075fe9	commit usage files directly into git ... the generation of those files was causing us way too much pain to justify automatically generating them all the time. those will have to be re-generated with `build_api` or `build_usage` as appropriate, for example when function signatures or commandline flags change. see #384	2015-11-13 10:42:52 -05:00