From 15ab8d58614977b99b11fe3d330ef974d9487bf2 Mon Sep 17 00:00:00 2001 From: x03daop Date: Thu, 9 Jul 2015 16:47:13 +0200 Subject: [PATCH] Closedown --- config/plugins.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config/plugins.properties b/config/plugins.properties index 32cf4373..da7e4558 100644 --- a/config/plugins.properties +++ b/config/plugins.properties @@ -1,4 +1,4 @@ -#Thu Jul 09 09:31:29 CEST 2015 +#Thu Jul 09 16:47:09 CEST 2015 ./home/plugins/HoloScan.java=enabled ./home/plugins/ManipulatorScan.java=enabled ./home/plugins/Pearl.java=disabled