From 7e43c4d06f3339502e49ab25be5c99e4429af45c Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Wed, 19 Mar 2014 09:35:26 +0000 Subject: [PATCH] Cleanup: Update notes for experimental directory to point to the correct protocols directory. --- testing/README.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/testing/README.txt b/testing/README.txt index 386d6cc..470d74f 100644 --- a/testing/README.txt +++ b/testing/README.txt @@ -2,6 +2,6 @@ The protocols in this directory are experimental and are not considered to be stable in any way. Therefore, they should not be used as reference models for experimenting with Scyther. Rather, use the protocols in -../SPORE or ../Demo. +[../gui/Protocols] .