diff options
Diffstat (limited to 'parent-prune-empty-merge')
| -rwxr-xr-x | parent-prune-empty-merge | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parent-prune-empty-merge b/parent-prune-empty-merge index 10e9fb8..5521977 100755 --- a/parent-prune-empty-merge +++ b/parent-prune-empty-merge @@ -12,7 +12,7 @@ end # Get the current list of parents parents = $stdin.read.split.select{|a|a!='-p'} -# Pnly keep parents that are not subsumed by other parents. +# Only keep parents that are not subsumed by other parents. parents = parents.select do |p| not subsumed_by(p,parents) end |