Merge branch 'master' of https://algohub.iti.kit.edu/_87
-rw-r--r-- 2 .gitignore
drwxr-xr-x - ipelets
drwxr-xr-x - presentation
drwxr-xr-x - styles
drwxr-xr-x - tools