directory /servlet/ @ 845:a29f53d8b7dd stream

name size permissions
[up] drwxr-xr-x
dir. doc/ drwxr-xr-x
dir. src/ drwxr-xr-x
file DigilibServlet.jardesc 1574 -rw-r--r--
file license.txt 18009 -rw-r--r--