From 9c9c6758f27a033ad83e7b4e824aa61af1fdc326 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Thu, 15 Nov 2012 16:50:22 +0100
Subject: [PATCH] Removing obsolete file.

---
 gui/Protocols/README.txt | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 gui/Protocols/README.txt

diff --git a/gui/Protocols/README.txt b/gui/Protocols/README.txt
deleted file mode 100644
index 83e5864..0000000
--- a/gui/Protocols/README.txt
+++ /dev/null
@@ -1,6 +0,0 @@
-The protocols here are modeled according to their description in the
-SPORE library.
-
-In the 'key-compromise' directory one can find the same protocols, but
-modified to model the compromise of earlier sessions and the leakage of
-the corresponding local values.