Clean up some duplication
[factor/jcg.git] / extra / update / 
tree50e77c4fefbef0031f2cac0b1e95fa3ecf1e6310
drwxr-xr-x   ..
drwxr-xr-x - backup
drwxr-xr-x - latest
-rw-r--r-- 1563 update.factor
drwxr-xr-x - util