chiark / gitweb /
Mark python scripts executable