From: Ian Jackson Date: Fri, 27 Jul 2018 13:50:49 +0000 (+0100) Subject: minor change X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ijackson/git?a=commitdiff_plain;h=b70e3bf9fc72c71aea2b43f392b4977c6dcdd79c;p=talk-2018-dc18-gdr.git minor change --- diff --git a/dm.fig b/dm.fig index 708769c..adee166 100644 --- a/dm.fig +++ b/dm.fig @@ -139,7 +139,7 @@ Single 4 0 0 41 -1 0 15 0.0000 4 225 1365 8055 -3825 autogenerated\001 4 0 0 41 -1 0 15 0.0000 4 60 135 7830 -3735 =\001 4 0 0 30 -1 14 20 0.0000 4 90 195 7425 -3060 '\001 -4 0 0 32 -1 0 15 0.0000 4 195 990 8055 -3240 rewritten/\001 4 0 0 32 -1 0 15 0.0000 4 165 735 8055 -3015 rebased\001 4 0 0 32 -1 0 15 0.0000 4 165 765 8055 -2835 commit\001 4 0 0 32 -1 0 15 0.0000 4 60 135 7785 -3105 =\001 +4 0 0 32 -1 0 15 0.0000 4 195 990 8055 -3195 rewritten/\001