4 commits

Author	SHA1	Message	Date
zilti	56e94758c2	Some stuff	2018-10-30 10:11:36 +00:00
zilti	d46bc02287	Automatic manual generation activated.	2017-12-18 23:02:11 +00:00
zilti	9815f83013	Adjusted makedocs-web.sh for automatic documentation generation.	2017-12-18 21:28:34 +00:00
zilti	16a6350300	Docs update	2017-12-18 14:13:26 +00:00