projects / selector.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixed a bug in reading the revision number.
[selector.git] / REVISION_NUMBER
2009-04-10 Francois FleuretMerge branch 'master' of ssh://fleuret@login.idiap... blob | commitdiff | raw
2009-04-10 Francois FleuretInitial commit. blob | commitdiff | raw
A real-time interactive pattern matcher in console.