From 7dfe7f0fb1af89b3360b78e7c0ade27a2fe36d1e Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 31 Jan 2020 16:22:38 +0000
Subject: [PATCH] Update 2020-01-22-hase.md

---
 _posts/2020-01-22-hase.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/_posts/2020-01-22-hase.md b/_posts/2020-01-22-hase.md
index ee2a07b..0d1e9c4 100644
--- a/_posts/2020-01-22-hase.md
+++ b/_posts/2020-01-22-hase.md
@@ -1,4 +1,3 @@
-
 ---
 title: Talk on Gillian, Workshop on High Assurance Systems Engineering, POPL 2020
 ---
-- 
GitLab