chiark / gitweb /
strayman.dtx: Move left-side headers and footers into the margin.
[strayman] / .links
CommitLineData
1ffa9044 1COPYING
2gpl.tex
36bc1cc4 3auto-version