| commit | 6a48343cd6e392a3ae48dbb735008f911e60420d | [log] [tgz] |
|---|---|---|
| author | Paul Jakma <paul@jakma.org> | Thu Mar 09 00:54:44 2017 +0000 |
| committer | Paul Jakma <paul@quagga.net> | Thu Mar 09 18:03:56 2017 +0000 |
| tree | 9e0419498dccf52ac72ee5799cfd62cfb0ee641f | |
| parent | 1bfd6551c9d1b9e3e0f2d04bbbc636ef33e4a2fd [diff] |
doc: Clean the tex index files up