]> gitweb.factorcode.org Git - factor.git/tree - extra/koszul/
Merge branch 'trace_tool' of git://factorcode.org/git/factor into trace_tool
[factor.git] / extra / koszul /
drwxr-xr-x   ..
-rwxr-xr-x 13 authors.txt
-rwxr-xr-x 1473 koszul-tests.factor
-rwxr-xr-x 7454 koszul.factor
-rwxr-xr-x 23 summary.txt