sync/gen_dot.ysl2
branchsync
changeset 3816 c4e27127ffa5
parent 3813 4bcd6925d88c
child 3825 b8d55cc4755e
     1.1 --- a/sync/gen_dot.ysl2	Thu Jun 06 21:18:32 2019 +0200
     1.2 +++ b/sync/gen_dot.ysl2	Thu Jun 06 21:47:19 2019 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4          InitState;
     1.5          node [shape = doublecircle];
     1.6          End;
     1.7 -        node [shape = circle];
     1.8 +        node [shape = circle, style=filled, fillcolor = lightgrey];
     1.9  
    1.10          `` apply "descendant::transition";
    1.11      }