chiark / gitweb /
Some thoughts
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 28 Jan 2012 15:37:59 +0000 (15:37 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 28 Jan 2012 15:37:59 +0000 (15:37 +0000)
DESIGN

diff --git a/DESIGN b/DESIGN
index a7c142b..fd3abb4 100644 (file)
--- a/DESIGN
+++ b/DESIGN
@@ -32,8 +32,8 @@ Basic update algorithm:
        For each unwanted dependency removal (ie for each such
        branch), search as follows:
           * An "unwanted removal commit" is a non-merge commit in the
-            history of the source, which unwantedly removes the dep
-            from the actual included deps.
+            history of the source, which removes the dep from the
+            actual included deps.
           * But the search stops at any point where we would have to
             traverse a commit where .topbloke/deps is empty (which
             stops us looking into the hitory of non-topbloke-controlled