Merge pull request #10 from dlicata335/master
authormortberg <mortberg@chalmers.se>
Tue, 5 May 2015 18:09:29 +0000 (20:09 +0200)
committermortberg <mortberg@chalmers.se>
Tue, 5 May 2015 18:09:29 +0000 (20:09 +0200)
cleaned up mystery.ctt


Trivial merge