From 5e3848c138e95a0e1e84fef7d3ebfce56dd3945f Mon Sep 17 00:00:00 2001
From: Ralf Jung
Date: Tue, 1 Sep 2020 11:35:43 +0200
Subject: [PATCH] fix more HTML
---
research/publications.html | 1 -
1 file changed, 1 deletion(-)
diff --git a/research/publications.html b/research/publications.html
index e1a3266..cbe4de4 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -106,7 +106,6 @@ slug: Publications
Bachelor Thesis
[thesis] [slides] [coq]
-
Workshop Talks
--
2.30.2