9 darcs record
-a -m "aaa"
10 echo "bbb diff" >> file
11 darcs record
-a -m "bbb"
13 darcs
diff --patch "aaa" |
grep "aaa diff"
14 darcs
diff --patch "bbb" |
grep "bbb diff"
19 echo "ccc diff" >> file
20 darcs record
-a -m "ccc"
21 darcs
diff --patch "ccc" |
grep "ccc diff"
23 # here is where we have a problem
24 darcs
diff --patch "aaa" |
grep "aaa diff"
25 darcs
diff --patch "bbb" |
grep "bbb diff"