projects / selector.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5ff0b55 8daf5be)
Merge branch 'master' of ssh://fleuret@login.idiap.ch/homes/fleuret/public/git/selector
authorFrancois Fleuret <francois@fleuret.org>
Fri, 12 Jun 2009 22:15:54 +0000 (00:15 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Fri, 12 Jun 2009 22:15:54 +0000 (00:15 +0200)

Trivial merge
A real-time interactive pattern matcher in console.