tree 0bdea31a102370ef28c96b13e8b6e32f7101b51c
parent 8df159291f5e40c0302813a3294b2ae6b29a55e8
author margaretha <margaretha@ids-mannheim.de> 1560443333 +0000
committer margaretha <margaretha@ids-mannheim.de> 1560443333 +0000

Fixed empty left context and updated libraries.