diff mx.jvmci/.pydevproject @ 24126:c80b6f33b3d9

changed return type of Services.getSavedProperties (JDK-8177845)
author Doug Simon <doug.simon@oracle.com>
date Sat, 15 Apr 2017 23:53:53 +0200
parents ed35cb998428
children
line wrap: on
line diff