directory /mx.jvmci/ @ 22672:1bbd4a7c274b

name size permissions
[up] drwxr-xr-x
dir. eclipse-settings/ drwxr-xr-x
file .project 386 -rw-r--r--
file .pydevproject 524 -rw-r--r--
file mx_jvmci.py 77536 -rw-r--r--
file mx_jvmci_makefile.py 11832 -rw-r--r--
file suite.py 12423 -rw-r--r--