diff options
author | Chris Kempson <chriskempson@users.noreply.github.com> | 2016-12-28 12:24:35 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-28 12:24:35 +0000 |
commit | 1d149b8f66bae127b6a9edc868b49c0fd687e77e (patch) | |
tree | 7e1f024af0d0857e5a47ea25bed86f9ac7dc5bb9 /.github/workflows | |
parent | 9bc705129abec076c3336ec806b6defad0c246f0 (diff) | |
parent | c614b3e8e8d2e160538e5784cc084253e0673e2e (diff) |
Merge pull request #129 from poliquin/master
Fix Search and IncSearch highlighting (#113)
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions