[SVN Commit] area51/Tools/scripts

[Adriaan de Groot]

SVN commit 13037 by adridg:

Merge from plasma5/, updates to Tools/

 M  +15 -6     area51