diff options
| author | Determinant <[email protected]> | 2020-05-20 22:42:00 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2020-05-20 22:42:00 -0400 |
| commit | dc28778f9c10d8128abfcf4fea7339c69bd6074d (patch) | |
| tree | fee8699e398b96913f0d361db242cb0be009550d /doc/.gitignore | |
| parent | 504fdb2fad23955289c52749f81685a9ade6b44b (diff) | |
send vote to the current proposer in the Round-Robin PaceMaker; close #7
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions