From: Ralf Jung Date: Mon, 31 Aug 2020 10:23:59 +0000 (+0200) Subject: rename Iris workshop talk file to be more consistent X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/55ee9f465b1b1ba013a870c1b8580da5186a3703?hp=55ee9f465b1b1ba013a870c1b8580da5186a3703 rename Iris workshop talk file to be more consistent ---