directory /mx.jvmci/ @ 24233:8128b98d4736 jvmci-0.36

name size permissions
[up] drwxr-xr-x
dir. eclipse-settings/ drwxr-xr-x
file mx_jvmci.py 61196 -rw-r--r--
file suite.py 8616 -rw-r--r--