diff LICENSE.EPL @ 22341:b4882e47c1f2

Interval: allow redefinition of NoDefinitionFound intervals.
author Josef Eisl <josef.eisl@jku.at>
date Thu, 23 Jul 2015 18:27:09 +0200
parents 0fbee3eb71f0
children
line wrap: on
line diff