From 0a5606b47474bfa2ac337c2e410dd952d4a8d61e Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Mon, 1 Feb 2016 23:00:13 +0000
Subject: [PATCH] BibTeX files should be plain bibtex
---
publications.bib | 4 ----
1 file changed, 4 deletions(-)
diff --git a/publications.bib b/publications.bib
index 4119587..0e25ee3 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1,7 +1,3 @@
----
-title: Publications
----
-
@InProceedings{Bodin2014Trusted,
Title = {A Trusted Mechanised JavaScript Specification},
Author = {Bodin, Martin and Chargu{\'e}raud, Arthur and Filiaretti, Daniele and Gardner, Philippa and Maffeis, Sergio and Naud{\v{z}}i{\=u}nien{\.e}, Daiva and Schmitt, Alan and Smith, Gareth},
--
GitLab