chiark / gitweb /
fix a few bugs in THEORY
[topbloke.git] / TERMINOLOGY
2012-01-22 Ian Jacksonnickname is optional in patch specs
2012-01-22 Ian Jacksonchange terminology