2 Commits (7ae66cc18255f405ca9a6c426eca1d6b05358e9f)

Author	SHA1	Message	Date
Martin Scheidt	a98f3b26bd	integrated documentation compilation in build.sh script	2022-03-22 18:27:29 +01:00
Martin Scheidt	43773cddff	reorganized the doc/symbolgy folder to ease conversion to different tools	2022-01-17 09:34:48 +01:00