chiark / gitweb /
doc/: Fix various unfortunate garblings.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 9 Jun 2018 02:49:16 +0000 (03:49 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 9 Jun 2018 02:52:28 +0000 (03:52 +0100)
commit756e9293611d2b1dc34fba6cca89fd70098f5546
tree7ed49f5f7a611335baf3202be98112a123d10ff4
parentb05636518b4e46caf9e6a689f11742c6a7a24c6b
doc/: Fix various unfortunate garblings.
doc/concepts.tex
doc/intro.tex
doc/structures.tex
lib/sod-structs.3