diff options
| author | Martin <marcin.j.chrzanowski@gmail.com> | 2020-01-12 23:58:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-12 23:58:24 +0100 |
| commit | 50924560e8829914a4b8d315752c693890210c88 (patch) | |
| tree | 2f7003cec915d94859081c7712362e7d1317554f /src/pl/edu/mimuw | |
| parent | 0f31d1f5c267f893d765ccd848b95fc111009de5 (diff) | |
| parent | ec0971201f2b2c90513321a33896390252a43f3d (diff) | |
Merge pull request #119 from m-chrzan/use-gtp
Use GTP when deciding which zones to send
Diffstat (limited to 'src/pl/edu/mimuw')
0 files changed, 0 insertions, 0 deletions