Santize comment dashes position.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 13 Jul 2009 07:59:58 +0000 (09:59 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 13 Jul 2009 07:59:58 +0000 (09:59 +0200)
commita4158727e8a45f937152fb136434f0c5b23dc64a
tree4b53082dfeefc6c8284c3697ecf5eef4de9c698f
parent7762251a1355fbcbb08317926ca232951c146744
Santize comment dashes position.

This allows us to comment some lines in and out without having to remember
the exact position of the comment dashes (to prevent unneeded changes in
git).
NormalizeTools.hs