chiark / gitweb /
Added note saying the file should probably be treated as being GPL