files
/src/server/plugins/java/
| drwxr-xr-x | [up] | |||
| drwxr-xr-x | javasrc webserver | files | ||
| -rw-r--r-- | 2018-01-10 17:25 +0100 | 2441 | Makefile | file | revisions | annotate |
| -rw-r--r-- | 2018-01-10 17:25 +0100 | 474 | build.xml | file | revisions | annotate |
| -rw-r--r-- | 2018-01-10 17:25 +0100 | 1650 | javaobjs.mk | file | revisions | annotate |
| -rw-r--r-- | 2018-01-10 17:25 +0100 | 6305 | jvm.c | file | revisions | annotate |
| -rw-r--r-- | 2018-01-10 17:25 +0100 | 1748 | jvm.h | file | revisions | annotate |
| -rw-r--r-- | 2018-01-10 17:25 +0100 | 1770 | objs.mk | file | revisions | annotate |
| -rw-r--r-- | 2018-01-10 17:25 +0100 | 2114 | wsjni.c | file | revisions | annotate |
| -rw-r--r-- | 2018-01-10 17:25 +0100 | 1813 | wsjni.h | file | revisions | annotate |
