Clean up some duplication
[factor/jcg.git] / extra / benchmark / xml / 
treea9642f31ee1db5e8bda092dc645b5cc682a32084
drwxr-xr-x   ..
-rw-r--r-- 342 xml.factor