diff src/main/java/de/mpiwg/gazetteer/utils/PropertiesUtils.java @ 40:35ed4e650a53

bug fixed: full text search when section not found in section_index table. add paginator
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Mon, 07 Dec 2015 17:06:57 +0100
parents 3e62083dbcbf
children
line wrap: on
line diff