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