Merge branch 'master' of ssh://fleuret@login.idiap.ch/homes/fleuret/public/git/selector
-rw-r--r-- 63 .gitignore
-rw-r--r-- 1422 Makefile
-rw-r--r-- 4 REVISION_NUMBER
-rw-r--r-- 1156 TODO.txt
-rw-r--r-- 35147 gpl-3.0.txt
-rwxr-xr-x 2210 mkdeb.sh
-rw-r--r-- 4484 selector.1
-rw-r--r-- 27285 selector.cc