From: Ralf Jung Date: Wed, 25 Jul 2018 14:32:38 +0000 (+0200) Subject: more academic pointers X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/522d4f8cd67f4087f533930012b72d4c97ef791a?hp=522d4f8cd67f4087f533930012b72d4c97ef791a more academic pointers ---