| changeset 1914 | 7ef30a71937f |
| parent 1901 | 723b2b81d900 |
| 1:32592a6ded77 | 2:a6776656aece |
|---|---|
9 (193, 257) 4 |
9 (193, 257) 4 |
10 (-89, 224) 3 |
10 (-89, 224) 3 |
11 (-327, 46) 2 |
11 (-327, 46) 2 |
12 (157, -150) 1 |
12 (157, -150) 1 |
13 (-282, -149) 0 |
13 (-282, -149) 0 |
14 @undiredgeset |
14 @uedgeset |
15 label |
15 label |
16 9 10 17 |
16 9 10 17 |
17 1 9 15 |
17 1 9 15 |
18 3 9 14 |
18 3 9 14 |
19 2 8 4 |
19 2 8 4 |