Sandro Santilli 844b57bf4a Rename script files to avoid spaces in filenames
This makes life easier with PLUGIN_INSTALL.
I did try to make PLUGIN_INSTALL better but couldn't find a way
to have both "(" and " " quoted at once...
2012-10-25 11:51:40 +02:00
..