From 6131c5e5cc1e83fdbfbc8fc4ce419765ba3d180a Mon Sep 17 00:00:00 2001 From: Determinant Date: Tue, 31 Jul 2018 13:24:14 -0400 Subject: add cmake options --- TODO.rst | 1 + 1 file changed, 1 insertion(+) (limited to 'TODO.rst') diff --git a/TODO.rst b/TODO.rst index e9e67ea..3455e2a 100644 --- a/TODO.rst +++ b/TODO.rst @@ -1 +1,2 @@ - Implement a basic long-standing leader PaceMaker +- Persistent protocol state (for safety) -- cgit v1.2.3