chiark / gitweb /
Kill uninteresting TeX debris.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 17 Sep 2015 17:20:17 +0000 (18:20 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 17 Sep 2015 17:20:17 +0000 (18:20 +0100)
commitb352f3a30a23f5354a292e37cf8e387d8fced4ab
treeac56681987474e4f0eceafbfc0b0a364d5ccbe76
parent1f7d590d9c7b87442c8d8b6424ed4f769d377692
Kill uninteresting TeX debris.
.gitignore
doc/sod.toc [deleted file]