3 Commits

Author	SHA1	Message	Date
Arvid Norberg	55460a60bc	fix the documentation generation tool to work for flags, and other global constants. Improve documentation	2019-12-19 01:50:22 +01:00
Andrew Resch	596d98cac4	Clean-up python code (#3075) ... lint and enforce python code formatting	2018-06-12 11:43:13 +02:00
arvidn	8ed3a95fa8	build single-page version of documentation	2017-01-28 14:42:09 -05:00