Revision cc9c479b6af02e0938c00f4b63ca4ce0861c5dc2

Committed on 02/09/2009 12:27 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Make this script actually executable.