jvm/resources/config.conf
changeset 4 1a1347e8c5be
parent 3 48479e4b89d4
child 5 de7c56ce0654
--- a/jvm/resources/config.conf	Thu Nov 22 13:15:29 2018 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-config {
-  http {
-    interface = localhost
-    port = 8080
-    prefix = cms
-  }
-}