Mercurial > hg > graal-compiler
diff make/jprt.gmk @ 18626:ce46f909c176
OM: record replaceProperty transitions
author | Andreas Woess <andreas.woess@jku.at> |
---|---|
date | Thu, 04 Dec 2014 19:31:45 +0100 |
parents | 109d1d265924 |
children | fe392af93c23 |
author | Andreas Woess <andreas.woess@jku.at> |
---|---|
date | Thu, 04 Dec 2014 19:31:45 +0100 |
parents | 109d1d265924 |
children | fe392af93c23 |