From 54810cf4d337caf0eba00549776f96f8952807a8 Mon Sep 17 00:00:00 2001 From: ccremers Date: Thu, 13 Apr 2006 12:48:37 +0000 Subject: [PATCH] - Updated numbers. --- dist/readme.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dist/readme.txt b/dist/readme.txt index 20de07e..1bd19fa 100644 --- a/dist/readme.txt +++ b/dist/readme.txt @@ -2,7 +2,7 @@ Scyther - 1.0-beta2 + 1.0-beta3 a verification tool for security protocols by Cas Cremers