Merge branch 'master' of ssh://fleuret@login.idiap.ch/homes/fleuret/public/git/selector
authorFrancois Fleuret <francois@fleuret.org>
Sat, 28 Mar 2009 22:22:36 +0000 (23:22 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Sat, 28 Mar 2009 22:22:36 +0000 (23:22 +0100)

Trivial merge