Add functions to allow smart search to work with grep. #1995

Closed
wants to merge 1 commit into
from

Projects

None yet

2 participants

@justbur
Contributor
justbur commented Jun 15, 2015

Fixes #1987 (all missing functions)

@tko I think this takes care of all of the missing functions.

@syl20bnr
Owner

Very nice work once again 👍

Thank you !
Cherry-picked into develop branch, you can safely delete your branch.

@syl20bnr syl20bnr closed this Jun 15, 2015
@justbur justbur deleted the unknown repository branch Jun 18, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment