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