diff make/jprt.properties @ 18123:3c7e73362d6a

Encapsulate FrameMap.registerConfig & FrameMap.target.
author Josef Eisl <josef.eisl@jku.at>
date Mon, 20 Oct 2014 12:12:52 +0200
parents cb1b723cbca8
children 43aa571c1131
line wrap: on
line diff