diff --git a/config/plugins.properties b/config/plugins.properties index 60a52245..c0ce4f12 100644 --- a/config/plugins.properties +++ b/config/plugins.properties @@ -1,3 +1,3 @@ -#Tue Jun 30 10:39:07 CEST 2015 +#Thu Jul 09 08:41:15 CEST 2015 ./home/plugins/ManipulatorScan.java=enabled ./home/plugins/Pearl.java=disabled