comparison make/jprt.properties @ 8267:e4019a78c938

update authors file
author Andreas Woess <andreas.woess@jku.at>
date Wed, 13 Mar 2013 23:48:08 +0100
parents 3958f0acde31
children 3be6a41ad358
comparison
equal deleted inserted replaced
8266:482037339440 8267:e4019a78c938