Clean up some duplication
[factor/jcg.git] / extra / mason / release / 
tree998f3b26033ebc66c21206363fc369758d08448d
drwxr-xr-x   ..
drwxr-xr-x - archive
drwxr-xr-x - branch
-rw-r--r-- 495 release.factor
drwxr-xr-x - tidy
drwxr-xr-x - upload