File | Mode | Size |
---|---|---|
Examples | ||
JHOL.app | ||
Tests | ||
caml | ||
docs | ||
release | ||
src | ||
tools | ||
.classpath | -rw-r--r-- | 803 bytes |
.project | -rw-r--r-- | 385 bytes |
README | -rw-r--r-- | 130 bytes |
build.xml | -rw-r--r-- | 3.1 KB |
echobot | -rwxr-xr-x | 125 bytes |
echobot.bat | -rw-r--r-- | 113 bytes |
gui.xml | -rw-r--r-- | 1016 bytes |
hol | -rwxr-xr-x | 44 bytes |
holdaemon | -rwxr-xr-x | 335 bytes |
jhol.bat | -rw-r--r-- | 87 bytes |
jhol.sh | -rw-r--r-- | 98 bytes |
terminal | -rwxr-xr-x | 167 bytes |
terminal.bat | -rw-r--r-- | 135 bytes |