projects / selector.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' of ssh://fleuret@login.idiap.ch/homes/fleuret/public/git/selector
[selector.git] / REVISION_NUMBER
1 <<<<<<< HEAD:REVISION_NUMBER
2 143
3 =======
4 142
5 >>>>>>> 38e62ee50d9f4b6f77a34f6841a2db635e2553df:REVISION_NUMBER
A real-time interactive pattern matcher in console.