diff make/jprt.properties @ 6348:5ab256b1ec60

Ignore core files
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 10 Sep 2012 10:28:51 +0200
parents f7baf26515fc
children d5ec46c7da5c eff5d59db7e1
line wrap: on
line diff