From: Francois Fleuret Date: Mon, 6 Apr 2009 07:25:18 +0000 (+0200) Subject: Merge branch 'master' of ssh://fleuret@login.idiap.ch/homes/fleuret/public/git/selector X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?p=selector.git;a=commitdiff_plain;h=da5be31b219ede348c3ac884768e39d6d169d7fd Merge branch 'master' of ssh://fleuret@login.idiap.ch/homes/fleuret/public/git/selector --- da5be31b219ede348c3ac884768e39d6d169d7fd