Split microtype, so it can pick up font stuff. Also assure recent version
authorTobias Pape <tobias@netshed.de>
Fri, 27 Dec 2013 14:26:56 +0000 (15:26 +0100)
committerTobias Pape <tobias@netshed.de>
Sat, 28 Dec 2013 00:23:41 +0000 (01:23 +0100)
commit585da843833d6e7953045171e73ba0aa7555a61e
tree45eedd7b898bef89f7bafe0acc293c9381d09431
parent513b9249f3a42d4522e477fa15e8dba3ff02267b
Split microtype, so it can pick up font stuff. Also assure recent version
src/applied-crypto-hardening.tex