chiark / gitweb /
Restart with different structure and rather more formal objectives.
authormdw <mdw>
Fri, 22 Jun 2001 19:41:31 +0000 (19:41 +0000)
committermdw <mdw>
Fri, 22 Jun 2001 19:41:31 +0000 (19:41 +0000)
commit90d03a8531584ba5467d13f28737e36d4afac658
tree4525dc77dec74df1cc911f3f1bc17d2589346e7b
parent00e64b67d321bf53224d546dcba58c52834a7b79
Restart with different structure and rather more formal objectives.
doc/wrestlers.tex