diff options
| author | Florian Dold <florian.dold@gmail.com> | 2019-08-17 01:50:51 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2019-08-17 01:50:51 +0200 |
| commit | 9e3a26ca70e77265f74527eb183c3f80b6531a97 (patch) | |
| tree | 88d3cde839611aabf3f7289bb05764561a2cc56b /.gitignore | |
| parent | d947b90df330d8e3598fd95ccacb8d511923ead8 (diff) | |
idb-bridge: fix bug in index deletion
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions