+# A little helper script of mine to setup a new development check-out directory.
+# This script should be called where you want to create the repository and 'core'
+# must be in the same directory. This script is public domain, if it blows up
+# your washing maschine or your refrigerator stops working, this script is maybe
+# not responsible for this, ask your trusted electrican. Use it on your own risk.