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