From 95fca42e1608dd115eed67213279016637c3d0b3 Mon Sep 17 00:00:00 2001 From: Russell Yanofsky Date: Fri, 10 Jul 2020 20:58:18 -0400 Subject: [PATCH] Fix broken link in Informal/README.md --- Informal/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Informal/README.md b/Informal/README.md index 104ba98..3b16e9a 100644 --- a/Informal/README.md +++ b/Informal/README.md @@ -4,7 +4,7 @@ This directory contains informal specifications of the SDK. Highlights are: -[A description](description/election.html) of how an E2E-V election might run +[A description](description/election.rst) of how an E2E-V election might run Images of the state machine, process chart, and assurance layers