author | Daan Sprenkels <dsprenkels@gmail.com> | |
Fri, 25 Nov 2016 09:18:24 +0000 (10:18 +0100) | ||
committer | Daan Sprenkels <dsprenkels@gmail.com> | |
Fri, 25 Nov 2016 09:19:04 +0000 (10:19 +0100) | ||
commit | cdc17a7579f0db42b0a30a945da3cd02ca658767 | |
tree | 19d6176c5d551f73ab9e88e6175b21d1bbf00f75 | tree | snapshot |
parent | 807d90ae7294edb751ed36054c52c2737c2468d0 | commit | diff |
TODO.txt | diff | blob | history | |
report/reflection.tex | diff | blob | history |