[dev] typo in displable-plugins

dev/disable-plugins.sh

@@ -36,7 +36,7 @@ fi
 
 if [[ "$#" == "0" || ( "$#" == "1" && "$1" == "none" ) ]]; then
   rm -f src/plugins/dune
-  echo "All plugin enabled"
+  echo "All plugins enabled"
   echo "Make sure to clean the current directory before rebuilding"
   exit 0
 fi