cvs2hg 42e84d8dd2 fixup commit for tag 'distr3' hace 35 años
..
.distr 81b1d21c35 Initial revision hace 37 años
Makefile 49fc462ee5 *** empty log message *** hace 37 años
READ_ME fee336890b Placed a few dot on e few i's. hace 39 años
ok 5662050ad3 Initial revision hace 39 años
select.c 4f0cb4abe1 Added Rcs Id hace 37 años
test.h 4f0cb4abe1 Added Rcs Id hace 37 años
tests c094aebd80 Select did not handle these HOL's hace 37 años