diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-01-13 19:47:45 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-01-13 19:47:45 +0100 |
| commit | e3a0bc0d1f1d14123b56b041b475c8090d20ec1c (patch) | |
| tree | b765a4c2d22baa25c4dd458bd703a3f95b71bbb0 /doc | |
| parent | 52513dcc2690716bb88cba506088b0422a53eb4a (diff) | |
fix sync issues, add rudimentary test
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions