Merge remote-tracking branch 'refs/remotes/origin/master'
authorMart Lubbers <mart@martlubbers.net>
Thu, 29 Jun 2017 14:28:49 +0000 (16:28 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 29 Jun 2017 14:28:49 +0000 (16:28 +0200)
commit615248d0f39c8185aaaeab69015a64f87f745e83
treee7aad5365e236c7fbe39b14a0cfcbd82e8c6c57b
parent53bb66d2741507251b75c395fa54208f30c2cf2c
parent0ad6a07479d9cce2d67c2e7aee35972836f48222
Merge remote-tracking branch 'refs/remotes/origin/master'
results.arch.tex