-
Committer:
Espen Helgedagsrud
-
Date:
2011-11-30 12:49:07 UTC
-
Revision ID:
espenoh@ifi.uio.no-20111130124907-bhhjdp0y53oif0oc
Some cleanup after the previous merge. Reverted sliders back to standard number entry and fixed the $typeViolationsSize warning.