diff --git a/config/plugins.properties b/config/plugins.properties index c0ce4f12..32cf4373 100644 --- a/config/plugins.properties +++ b/config/plugins.properties @@ -1,3 +1,4 @@ -#Thu Jul 09 08:41:15 CEST 2015 +#Thu Jul 09 09:31:29 CEST 2015 +./home/plugins/HoloScan.java=enabled ./home/plugins/ManipulatorScan.java=enabled ./home/plugins/Pearl.java=disabled