diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-05-31 16:44:59 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-05-31 16:44:59 +0200 |
| commit | b3337c4ad76cd000d038d6fff97ca8b66832be39 (patch) | |
| tree | 4b5ee8c309ebf0e68b6c0b560b19a37f213cac9c /.github | |
| parent | b7c8ce1511e3db47af6b90d6705062c827bf257d (diff) | |
don't scroll to pos 0 when uuid wasn't found
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions