chiark / gitweb /
[PATCH] fix comment about how the "dev" file is made up.