FelixBrendel e02db00b86 small optimizaitons

2019-11-19 01:51:15 +01:00

..

diagrams

Cleanup and manuals now can have box diagrams

2019-05-15 13:19:55 +02:00

build.sh

More cleanup

2019-11-14 00:36:12 +01:00

built-in-docs.org

small optimizaitons

2019-11-19 01:51:15 +01:00

built-in-docs.tex

auto doc generation

2019-06-11 01:17:36 +02:00

manual.html

More cleanup

2019-11-14 00:36:12 +01:00

manual.org

More cleanup

2019-11-14 00:36:12 +01:00