comparison make/jprt.properties @ 4523:ade4281b79c3

Remove obsolete CompilationObserver
author Christian Wimmer <christian.wimmer@oracle.com>
date Wed, 08 Feb 2012 15:36:41 -0800
parents 81f7362f7bed
children d6660fedbab5
comparison
equal deleted inserted replaced
4522:cf13124efdd9 4523:ade4281b79c3