diff src/main/java/de/mpiwg/gazetteer/scripts/SectionsIndex.java @ 31:c8d367a4bbcd

new: user updates label in branch
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Thu, 24 Sep 2015 13:35:39 +0200
parents 3e62083dbcbf
children
line wrap: on
line diff