]> gitweb.factorcode.org Git - factor.git/tree - misc/bash/
sets: rename combine/refine to union-all/intersect-all
[factor.git] / misc / bash /
drwxr-xr-x   ..
-rwxr-xr-x 392 cdfactor.sh