diff mx.jvmci/.pydevproject @ 22491:917b3ad10c32

renamed 'installJars' parameter of get_jvmci_jdk to 'deployDists'
author Doug Simon <doug.simon@oracle.com>
date Sun, 30 Aug 2015 12:28:37 +0200
parents ed35cb998428
children
line wrap: on
line diff