Mario Hüttel 4a441a9c44 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
..
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
make.bat	Add sphinx docu	2020-07-30 22:58:42 +02:00
Makefile	Write documentation	2020-08-11 23:21:24 +02:00