diff make/defs.make @ 21444:0ad4c6aa8063

LIRKind: add merge(Iterable<LIRKind>).
author Josef Eisl <josef.eisl@jku.at>
date Thu, 21 May 2015 11:50:38 +0200
parents 3f51d02e536f
children c2e58b2a2a76 07b088d61d5d
line wrap: on
line diff