Merge branch 'feature_incsearch' of https://github.com/rti/vimb into webkit2
authorDaniel Carl <danielcarl@gmx.de>
Sun, 9 Apr 2017 21:44:14 +0000 (23:44 +0200)
committerDaniel Carl <danielcarl@gmx.de>
Sun, 9 Apr 2017 21:44:14 +0000 (23:44 +0200)
commit77dab1a5c99f3eb85ad2cb02e6b2dff36a3605e0
tree47f8d3402ce74c931cb462a53d0d37b47ec9fad3
parentf93f21b56c4d1ac24e1d4cdb3514330d4b41778b
parentc4f7a6e71d2050dc7d3bace8980a7da6eda9779a
Merge branch 'feature_incsearch' of https://github.com/rti/vimb into webkit2