Clean up some duplication
[factor/jcg.git] / extra / backtrack / 
treeca7876ad77cd071c13ee0d45752f382c4e9229e9
drwxr-xr-x   ..
-rwxr-xr-x 17 authors.txt
-rwxr-xr-x 1651 backtrack.factor
-rwxr-xr-x 22 summary.txt