2 Commits (71b341934f230621fb3194d31d5c15bf1dc08fc1)

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