]> gitweb.factorcode.org Git - factor.git/tree
Merge branch 'a7a39d3766624227966bca34f0778030592d82c2' of git://github.com/prunedtre...
-rw-r--r-- 218 .gitignore
drwxr-xr-x - Factor.app
-rwxr-xr-x 5283 Makefile
-rwxr-xr-x 4407 README.txt
drwxr-xr-x - basis
drwxr-xr-x - build-support
drwxr-xr-x - core
drwxr-xr-x - extra
-rw-r--r-- 1200 license.txt
drwxr-xr-x - misc
drwxr-xr-x - unmaintained
drwxr-xr-x - vm
drwxr-xr-x - work