]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/etc_default_helm_mowgli
snapshot
[helm.git] / helm / scripts / init.d / etc_default_helm_mowgli
index af0ac44a57e82be8cac5480e06f7b0f75c982a21..daa04d1b8c2f3ea5e747e2062304a1af2994c6e9 100644 (file)
@@ -7,6 +7,8 @@ DAEMONS="
   helm-proof-checker_mowgli
   helm-uri-set-queue_mowgli
   helm-draw-graph_mowgli
+  helm-search-engine_mowgli
+  helm-uwobo_mowgli
 "
 
   # script used to define a good(TM) environment for daemons