diff options
| author | Determinant <[email protected]> | 2018-07-31 13:24:14 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2018-07-31 13:24:14 -0400 |
| commit | 6131c5e5cc1e83fdbfbc8fc4ce419765ba3d180a (patch) | |
| tree | f49440a55b84391029516ebd4de28cb266880c8b /TODO.rst | |
| parent | ec6a1f84324faf8e7c92f32137464db57410f58a (diff) | |
add cmake options
Diffstat (limited to 'TODO.rst')
| -rw-r--r-- | TODO.rst | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1 +1,2 @@ - Implement a basic long-standing leader PaceMaker +- Persistent protocol state (for safety) |