chiark / gitweb /
doc/sod.sty: Make `@->' typeset a dereferencing arrow.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 17 Sep 2015 17:22:24 +0000 (18:22 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 17 Sep 2015 17:22:24 +0000 (18:22 +0100)

No differences found