diff options
author | Michael Muré <batolettre@gmail.com> | 2019-04-05 17:00:41 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-05 17:00:41 +0200 |
commit | 16d2b92f0558184dde4151e96addaa621f51ac13 (patch) | |
tree | afb0864b94c5a71d3d43f424c76e3211215fd1dc /vendor/github.com/MichaelMure/gocui/escape.go | |
parent | 4184beaf559ed01ba72107e48e1b6ddee30c75a0 (diff) | |
parent | 1d00ded250102c23c0a106e14d88875d342f7880 (diff) | |
download | git-bug-16d2b92f0558184dde4151e96addaa621f51ac13.tar.gz |
Merge pull request #121 from A-Hilaly/query-humanid
Support matching identities with ID and truncated ID
Diffstat (limited to 'vendor/github.com/MichaelMure/gocui/escape.go')
0 files changed, 0 insertions, 0 deletions