log src/main/java/de/mpiwg/gazetteer/servlet/GetRoleAssignments.java @ 12:c2e2d794847f

age author description
Wed, 30 Sep 2015 13:43:54 +0200 Zoe Hong new: add config.properties file for gazetteer