strayman.dtx: Whitespace fixes.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 5 May 2016 09:18:51 +0000 (10:18 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 5 May 2016 09:19:10 +0000 (10:19 +0100)
commitfddb126af21406e22353db8a377b81a90244abe3
treea9fb8c466eec19c5a7be4899c3548b377756cbd9
parentb40e3be3e44f20ca28cc17fc3fd23317e6ee9010
strayman.dtx: Whitespace fixes.
strayman.dtx