Clean up some duplication
[factor/jcg.git] / extra / adsoda / tools / 
tree7a1011b1061db0f6539834294514dacb1c6e3420
drwxr-xr-x   ..
-rwxr-xr-x 10 authors.txt
-rwxr-xr-x 1853 tools-docs.factor
-rwxr-xr-x 369 tools-tests.factor
-rwxr-xr-x 3445 tools.factor