chiark / gitweb /
Formatting tweaks / index terms in Unequal docs.
authorJacob Nevins <jacobn@chiark.greenend.org.uk>
Sat, 13 Jan 2007 19:19:21 +0000 (19:19 +0000)
committerJacob Nevins <jacobn@chiark.greenend.org.uk>
Sat, 13 Jan 2007 19:19:21 +0000 (19:19 +0000)
commitf43c5c92801c7a10e95d2b4953ded61a96ce891b
tree17d51a2b1f7e2f19a83b71a98e5a1e560850fc12
parent41d9b1aab596ef42447fa704c632e74d7ca287ab
Formatting tweaks / index terms in Unequal docs.

[originally from svn r7105]
puzzles.but