small update so that retyping works
authorMart Lubbers <mart@martlubbers.net>
Thu, 14 Apr 2016 06:45:01 +0000 (08:45 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 14 Apr 2016 06:45:01 +0000 (08:45 +0200)
commita8348a333a567e5a469d1e5f8ec6c3dafc051c91
treea7fe30a1b54940f2e717935cb3e9c98352f683ad
parent1ced60fbbc32f9fcfa47c971a7969c7700d15839
small update so that retyping works
sem.icl