Merge branch 'master' of ssh://fleuret@login.idiap.ch/homes/fleuret/public/git/selector
authorFrancois Fleuret <francois@fleuret.org>
Mon, 6 Apr 2009 07:25:18 +0000 (09:25 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Mon, 6 Apr 2009 07:25:18 +0000 (09:25 +0200)

Trivial merge