From c1c3f11209e397c4c74471a9e5e868afb246b7fb Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Mon, 12 Nov 2018 14:05:31 +0000
Subject: [PATCH] Delete 2018-01-15-galois.md

---
 _posts/2018-01-15-galois.md | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 _posts/2018-01-15-galois.md

diff --git a/_posts/2018-01-15-galois.md b/_posts/2018-01-15-galois.md
deleted file mode 100644
index 3f0822b..0000000
--- a/_posts/2018-01-15-galois.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-title: Tech talk at Galois, Portland, JaVerT: a JavaScript Verification Toolchain
----
-
-Philippa Gardner gave a talk at [Galois,](https://galois.com/research-development/) 
\ No newline at end of file
-- 
GitLab