files
/src/server/plugins/java/
| drwxr-xr-x | [up] | |||
| drwxr-xr-x | javasrc webserver | files | ||
| -rw-r--r-- | 2018-05-15 18:48 +0200 | 2415 | Makefile | file | revisions | annotate |
| -rw-r--r-- | 2018-05-15 18:48 +0200 | 474 | build.xml | file | revisions | annotate |
| -rw-r--r-- | 2018-05-15 18:48 +0200 | 1650 | javaobjs.mk | file | revisions | annotate |
| -rw-r--r-- | 2018-05-15 18:48 +0200 | 6305 | jvm.c | file | revisions | annotate |
| -rw-r--r-- | 2018-05-15 18:48 +0200 | 1748 | jvm.h | file | revisions | annotate |
| -rw-r--r-- | 2018-05-15 18:48 +0200 | 1770 | objs.mk | file | revisions | annotate |
| -rw-r--r-- | 2018-05-15 18:48 +0200 | 2114 | wsjni.c | file | revisions | annotate |
| -rw-r--r-- | 2018-05-15 18:48 +0200 | 1813 | wsjni.h | file | revisions | annotate |
