You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Wouter Horlings a30b2ebae0 WIP: reflection 4 years ago
.gitlab/issue_templates Add feedback ticks 5 years ago
content WIP: reflection 4 years ago
graphics Add fraction of features section 4 years ago
include @ a5283462a0 WIP: reflection 4 years ago
.gitignore Update make 5 years ago
.gitlab-ci.yml Add graphics folder to cache 4 years ago
.gitmodules updated submodule 5 years ago
Makefile Add graphics folder as job trigger 5 years ago
README.md Initial Commit 5 years ago
report.tex Add specifications overview to appendix 4 years ago

README.md