chiark / gitweb /
mdwsetup.py: Fix the licensing header.