chiark / gitweb /
strayman.dtx: Move left-side headers and footers into the margin.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 24 Aug 2019 12:50:03 +0000 (13:50 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 24 Aug 2019 12:50:59 +0000 (13:50 +0100)
commit2713c178e5a5445aff599f12a5a3f2c81bc1c5d1
tree5db3a2e6599a1a6dbfa5ba83adad6a18cc8578ec
parent580fe06e87e25a9d153540766a5f7c9dd33c9b37
strayman.dtx: Move left-side headers and footers into the margin.
strayman.dtx