chiark / gitweb /
Manually editing of the event-mask type