chiark / gitweb /
~mdw / tripe / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c0f1c9) | patch
common/defs.man: Set the font for the running headers as well as the body.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 20 Sep 2021 14:05:48 +0000 (15:05 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 20 Sep 2021 14:05:48 +0000 (15:05 +0100)
commit68733533c81036537677dc09ea7d30937b7f95fa
treecceabd9da9815f07dd01530d8781a0f794c4cb93tree | snapshot
parent3c0f1c94b41214be122d07c3b0a6fb303da6f7d5commit | diff
common/defs.man: Set the font for the running headers as well as the body.

This involves switching environments.
common/defs.man diff | blob | blame | history
Trivial IP Encryption: a simple VPN