Martin Thoma 7740f0147f Remove trailing spaces ... The commands find . -type f -name '*.md' -exec sed --in-place 's/[[:space:]]\+$//' {} \+ and find . -type f -name '*.tex' -exec sed --in-place 's/[[:space:]]\+$//' {} \+ were used to do so.		2015-10-14 14:25:34 +02:00
..
Makefile	added draft for proof of correctnes for pogo algorithm	2013-05-18 11:20:00 +02:00
proof-of-correctness-pogo.pdf	misc	2013-05-18 13:44:47 +02:00
proof-of-correctness-pogo.tex	Remove trailing spaces	2015-10-14 14:25:34 +02:00