Fix $or
[factor/jcg.git] / unmaintained / factory / 
tree9e0476eeeccd4c295b15f02c2193b6d8b1540795
drwxr-xr-x   ..
-rw-r--r-- 16 authors.txt
drwxr-xr-x - commands
-rw-r--r-- 4461 factory-menus
-rw-r--r-- 634 factory-rc
-rw-r--r-- 900 factory.factor
drwxr-xr-x - load
-rw-r--r-- 39 summary.txt
-rw-r--r-- 13 tags.txt