# HG changeset patch # User Tom Rodriguez # Date 1438623940 25200 # Node ID 4ea139d40e91ccbe7e1633f33b3798948ca069b4 # Parent 172d5211bb823932fedbaa08cdb96906304942d1# Parent 7c519116907f9939704eab9381b0d2526784da3f Merge diff -r 172d5211bb82 -r 4ea139d40e91 mx.graal/.project --- a/mx.graal/.project Mon Aug 03 10:45:17 2015 -0700 +++ b/mx.graal/.project Mon Aug 03 10:45:40 2015 -0700 @@ -3,8 +3,8 @@ mx.graal + mx mx.jvmci - mxtool2