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 /.gitignore | |
parent | 21da63cb2c2eed36a7a062d0e1f57d6ffc36e2af (diff) |
adjusted wormhole search distance
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions