Clean up some duplication
[factor/jcg.git] / extra / 4DNav / deep / 
tree47af4a3a72b6a513d5458bcdc2ee8853023e9d93
drwxr-xr-x   ..
-rwxr-xr-x 726 deep-docs.factor
-rwxr-xr-x 388 deep.factor