From 4f180b7e7a3733fb27f61ac411dc90294f189c5e Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian-rabe@users.noreply.github.com> Date: Mon, 18 Sep 2017 17:29:46 +0200 Subject: [PATCH] Update Tetrapod-2018.md --- events/Tetrapod-2018.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/events/Tetrapod-2018.md b/events/Tetrapod-2018.md index 0080aa1..a27f6f1 100644 --- a/events/Tetrapod-2018.md +++ b/events/Tetrapod-2018.md @@ -2,7 +2,7 @@ layout: page title: Modular Knowledge 2018 --- -<p style="text-align:center;font-weight:bold"> +<p style="text-align:center;font-weight:bold" markdown="1"> Workshop on Modular Knowledge (Tetrapod)<br/> Oxford, July 13, 2018<br/> at the [Federated Logic Conference 2018](http://www.floc2018.org/)<br/> -- GitLab