diff options
| author | Florian Jung <flo@windfisch.org> | 2015-09-03 17:55:48 +0200 |
|---|---|---|
| committer | Florian Jung <flo@windfisch.org> | 2015-09-03 17:55:48 +0200 |
| commit | 80d875bbf7908f48b7308ef7b418b9813665a935 (patch) | |
| tree | 848ded9eb91bd5606be864ffe5ede5171ef6319b /interval_utils.py | |
| parent | 21da63cb2c2eed36a7a062d0e1f57d6ffc36e2af (diff) | |
adjusted wormhole search distance
Diffstat (limited to 'interval_utils.py')
0 files changed, 0 insertions, 0 deletions