5 commits

Author	SHA1	Message	Date
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