add SynonymLibrary status to DictionaryLoader_p servlet
authorreger <reger18@arcor.de>
Fri, 3 Apr 2015 22:24:16 +0000 (00:24 +0200)
committerreger <reger18@arcor.de>
Fri, 3 Apr 2015 22:24:16 +0000 (00:24 +0200)
commit2f592a80637d7e023ec667e3ba0cb9723c613700
treef7d4c5bbb3f4dc29235b58b48b8db02ad5e9f71b
parentc59ebde0838b8bd892a5bbc8dbc7c5dff56c2f1d
add SynonymLibrary status to DictionaryLoader_p servlet
http://mantis.tokeek.de/view.php?id=564
htroot/DictionaryLoader_p.java