small minor updates'
authorMart Lubbers <mart@martlubbers.net>
Sun, 2 Jul 2017 23:18:24 +0000 (01:18 +0200)
committerMart Lubbers <mart@martlubbers.net>
Sun, 2 Jul 2017 23:18:24 +0000 (01:18 +0200)
commitf272c949c8448aa20f6a1a7124ed893d6a02ff80
treeb755160905828548768e320b65a42804a8b9e123
parentf3e07851e96744138c972a7b875b6cff82c44fe5
small minor updates'
arch.example.tex