better-history/better-history — pull request #317 by roykolak (2014-12-08 19:01:44+00:00)
Title: Regex searching

Allow for regex's to be used to search history. Also, added a search tips modal w/ more details on searching behavior and tips.