small cleanup
authorpimjager <pim@pimjager.nl>
Wed, 13 Apr 2016 17:34:09 +0000 (19:34 +0200)
committerpimjager <pim@pimjager.nl>
Wed, 13 Apr 2016 17:34:09 +0000 (19:34 +0200)
commit3d65732efb079082e24e29383b24f0e9968100cf
tree4362c9f18b254c20ae3a13d200fc4daf90c27419
parent99821671e939170b1a450940a5d34066122f45a5
small cleanup
sem.icl