tree 7bc33d4b595ef9be98926d0690a7590a73bbd6a7
parent 53e27f3b0764fc25c9eec2fa50abbff2c06a9b61
author Joachim Bingel <joa.bingel@gmail.com> 1385743547 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1385743547 +0000

implemented shrink/split