comparison make/jprt.properties @ 11804:60f6d5939941

LoweringPhase: add comment
author Bernhard Urban <bernhard.urban@jku.at>
date Thu, 26 Sep 2013 08:50:55 +0200
parents e76dd894b984
children c81dd5393a5e
comparison
equal deleted inserted replaced
11803:eb2def6529bc 11804:60f6d5939941