cluster_search/commit

Changed the name of the settings.

authorChris Dijkshoorn
Sat Dec 13 17:46:50 2014 +0100
committerChris Dijkshoorn
Sat Dec 13 17:46:50 2014 +0100
commit50f9da3ff10099eb93499dade4abee175c308bc5
treee7961c40b3eb1ad5d6013d65d795135fef36e1fc
parentad845e35e562dcc103fd3199601b4303aeb2fc37
Diff style: stat patch
 api/cluster_search.pl                     |  2 ++
 lib/cluster_search/cs_filter.pl           |  2 ++
 lib/cluster_search/graph_search.pl        |  6 ++++++
 lib/cluster_search/rdf_backward_search.pl |  2 ++
 lib/cluster_search/rdf_full_search.pl     |  2 ++
 lib/cluster_search/settings.pl            | 28 ++++++++++++++++++++++++++++
 lib/cluster_search/tree_abstract.pl       |  2 ++
 7 files changed, 22 insertions(+), 22 deletions(-)