diff var/dml/settings.db @ 61:0fff15c51019

Merge.
author samer
date Wed, 20 May 2015 17:00:04 +0100
parents 1a2e9d3adcb2 085078c8b516
children 0d9657423c4e
line wrap: on
line diff
--- a/var/dml/settings.db	Wed May 20 16:58:09 2015 +0100
+++ b/var/dml/settings.db	Wed May 20 17:00:04 2015 +0100
@@ -44,3 +44,6 @@
 
 %	Keep information to support source-level debugging
 setting(swish:debug_info, true).
+
+%	Enables automatic semantic web searches for recognised URIs
+setting(crawler:enable_auto_crawl, false).