Mario Hüttel a5402d3f04 Add gitignore to build directory of documentation		2020-08-16 13:18:04 +02:00
..
build	Add gitignore to build directory of documentation	2020-08-16 13:18:04 +02:00
source	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
.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
Makefile	Write documentation	2020-08-11 23:21:24 +02:00
make.bat	Add sphinx docu	2020-07-30 22:58:42 +02:00