Clean up some duplication
[factor/jcg.git] / extra / shell / 
tree8e0a5ef1d5fd0ce0dc8109014e3b2e8f462cef59
drwxr-xr-x   ..
drwxr-xr-x - parser
-rw-r--r-- 3393 shell.factor