Fix $or
[factor/jcg.git] / unmaintained / size-of / 
tree50ea14638db5098ef2069188f883e3d15d632b45
drwxr-xr-x   ..
-rw-r--r-- 1389 size-of.factor