chktex erratum
authorMart Lubbers <mart@martlubbers.net>
Mon, 3 Jul 2017 15:13:13 +0000 (17:13 +0200)
committerMart Lubbers <mart@martlubbers.net>
Mon, 3 Jul 2017 15:13:13 +0000 (17:13 +0200)
commita95a33d3f6db0fdb83d7c75713b99a1dd4e68848
treeb08a42806432461054f643b19e43b67fc8b249d6
parent77b630adad9fc12ad2c6904dc190d8d1cee2c950
chktex erratum
arch.devices.tex