chiark / gitweb /
[PATCH] trivial rename of some variables