Merge branch 'master' of ssh://fleuret@login.idiap.ch/homes/fleuret/public/git/selector
authorFrancois Fleuret <francois@fleuret.org>
Tue, 17 Mar 2009 15:05:03 +0000 (16:05 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Tue, 17 Mar 2009 15:05:03 +0000 (16:05 +0100)

Trivial merge