From 6585cb156ac76d3faae5c548501c35f727cf9835 Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Tue, 4 Apr 2017 15:21:54 +0100
Subject: [PATCH] Add GitHub repo links to JSCert and Caper

---
 Bodin2014Trusted.github.link        | 1 +
 Dinsdale-Young2017Caper.github.link | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 Bodin2014Trusted.github.link
 create mode 100644 Dinsdale-Young2017Caper.github.link

diff --git a/Bodin2014Trusted.github.link b/Bodin2014Trusted.github.link
new file mode 100644
index 0000000..05b7ae9
--- /dev/null
+++ b/Bodin2014Trusted.github.link
@@ -0,0 +1 @@
+https://github.com/jscert/jscert/tree/popl14-results
diff --git a/Dinsdale-Young2017Caper.github.link b/Dinsdale-Young2017Caper.github.link
new file mode 100644
index 0000000..42df5f7
--- /dev/null
+++ b/Dinsdale-Young2017Caper.github.link
@@ -0,0 +1 @@
+https://github.com/caper-tool/caper
-- 
GitLab