chiark / gitweb /
Remove some redundant includes.
[disorder] / AUTHORS
1 See the end of README for authorship details.