diff options
| author | Luke Shumaker <lukeshu@lukeshu.com> | 2018-10-23 01:10:03 -0400 |
|---|---|---|
| committer | Luke Shumaker <lukeshu@lukeshu.com> | 2018-10-23 01:10:03 -0400 |
| commit | 696b4b7784133217aa848c227473cca0153455d7 (patch) | |
| tree | 80084a7453ae46215ae94adcd21d21fae701e15c | |
| parent | 44cacd6b1cee00c3326d28bffdf18df0356b7204 (diff) | |
| -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 |