Revision cc9c479b6af02e0938c00f4b63ca4ce0861c5dc2

Committed on 02/09/2009 12:27 am by Sebastian Bergmann <[email protected]> [GitHub Diff]

- Make this script actually executable.