Merge branch 'master' of ssh://fleuret@login.idiap.ch/homes/fleuret/public/git/selector
authorFrancois Fleuret <francois@fleuret.org>
Fri, 10 Apr 2009 15:33:19 +0000 (17:33 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Fri, 10 Apr 2009 15:33:19 +0000 (17:33 +0200)

Trivial merge