comparison test/jprt.config @ 7778:6b540bb82312

Fixed clean should clean also generated source directories.
author Christian Humer <christian.humer@gmail.com>
date Tue, 12 Feb 2013 14:33:24 +0100
parents f08d439fab8c
children
comparison
equal deleted inserted replaced
7777:ca51efac4d57 7778:6b540bb82312