cluster_search_ui/commit

Changed the name of the settings.

authorChris Dijkshoorn
Sat Dec 13 17:47:17 2014 +0100
committerChris Dijkshoorn
Sat Dec 13 17:47:17 2014 +0100
commitae2b63f35a01835c6552274df5f53bb872c2d11e
tree1bddae3d7b9e94d463489095a85c5f2898539977
parentd0fc16e1ad5d3b116422e80a149908148813b548
Diff style: stat patch
 api/cluster_search_ui.pl            |  3 +++
 lib/cluster_search_ui/settings.pl   | 10 ++++++++++
 lib/cluster_search_ui/web_ui_dcg.pl | 14 ++++++++++++++
 3 files changed, 13 insertions(+), 14 deletions(-)