directory /src/main/java/de/mpiwg/gazetteer/scripts/ @ 10:5610250d021a default tip

name size permissions
[up] drwxr-xr-x
file SectionsIndex.java 9919 -rw-r--r--