Manos Katsomallos b93328bcea Merge branch 'master' of git.delkappa.com:manos/the-last-thing		2021-10-19 03:44:04 +02:00
..
theotherthing	text: Minor corrections	2021-10-19 03:43:57 +02:00
thething	Merge branch 'master' of git.delkappa.com:manos/the-last-thing	2021-10-19 03:44:04 +02:00
main.tex	text: Minor corrections	2021-10-19 03:43:57 +02:00
summary.tex	text: Minor corrections	2021-10-14 18:18:23 +02:00