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