directory /mx.jvmci/ @ 22276:e1a5017645ba

name size permissions
[up] drwxr-xr-x
file .project 391 -rw-r--r--
file .pydevproject 524 -rw-r--r--
file mx_jvmci.py 87505 -rw-r--r--
file mx_jvmci_makefile.py 11557 -rw-r--r--
file suite.py 9861 -rw-r--r--