Mario Hüttel 77c88c69cd Issue #18: Redefine error memory entries		2020-09-05 16:57:25 +02:00
..
build	Add gitignore to build directory of documentation	2020-08-16 13:18:04 +02:00
source	Issue #18: Redefine error memory entries	2020-09-05 16:57:25 +02:00
.gitignore	Documentation: Create build folder in case it does not exist. However, add it to the git repo by placing a .gitignore inside	2020-08-16 11:50:20 +02:00
make.bat	Add sphinx docu	2020-07-30 22:58:42 +02:00
Makefile	Write documentation	2020-08-11 23:21:24 +02:00