chiark / gitweb /
unique tips: rename anticommit condition Unique Tip to Correct Tip
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Apr 2012 20:38:36 +0000 (21:38 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Apr 2012 20:38:36 +0000 (21:38 +0100)
commit16c8cf55a226dcb5cd8ee0e7ba2b0f3d16ab39d0
tree9bad17f8acf3cfb149eda9f462378e89f0462664
parentd05ecd7d17e8149e44a4ed256edfb4f1fe4eb96e
unique tips: rename anticommit condition Unique Tip to Correct Tip
anticommit.tex