Update formatting
authorSiebrand Mazeland <s.mazeland@xs4all.nl>
Thu, 9 May 2013 14:51:30 +0000 (16:51 +0200)
committerAmir E. Aharoni <amir.aharoni@mail.huji.ac.il>
Sat, 18 May 2013 10:06:27 +0000 (13:06 +0300)
Also removed some commented out code and one or more unneeded elses.

Change-Id: I8a7f5c683e3aa570522fb31b027b695f195a3970


No differences found