Clean up some duplication
[factor/jcg.git] / extra / sequences / 
tree8bdd699449b24fdbc6e56fb465eec968c3a170b3
drwxr-xr-x   ..
drwxr-xr-x - merged
drwxr-xr-x - modified
drwxr-xr-x - repeating