diff options
| author | Martin <marcin.j.chrzanowski@gmail.com> | 2020-01-12 21:00:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-12 21:00:34 +0100 |
| commit | 32bfe8f7efc1f4fb99ddf827a19ab466724dac06 (patch) | |
| tree | 70b2bdcbd091cfe32a208198d0490f8b7a1c7ecd /src/pl/edu/mimuw | |
| parent | 48367af9a7c2e46de51c29cd9ad84e5fdae5c2df (diff) | |
| parent | 84b686eb2e4e2eccde13f7cee1987b4211660729 (diff) | |
Merge pull request #114 from m-chrzan/gjetep
Use GTP time protocol for gossiping
Diffstat (limited to 'src/pl/edu/mimuw')
0 files changed, 0 insertions, 0 deletions