Manos 2e08f9d0b4 problem: OCD		2021-10-10 22:27:53 +02:00
..
theotherthing	theotherthing: Solution	2021-10-10 19:49:47 +02:00
thething	thething: Minor corrections	2021-10-10 19:49:38 +02:00
main.tex	problem: OCD	2021-10-10 22:27:53 +02:00
summary.tex	problem: Structure	2021-10-08 21:32:06 +02:00