add comments

yoachim · May 1, 2018 · 9d0c485 · 9d0c485
1 parent ba33013
commit 9d0c485
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/doc/writeup_sm.pdf b/doc/writeup_sm.pdf