diff options
| author | Neels Hofmeyr <neels@hofmeyr.de> | 2018-03-25 03:08:28 +0200 |
|---|---|---|
| committer | Neels Hofmeyr <nhofmeyr@sysmocom.de> | 2018-03-26 13:03:20 +0000 |
| commit | 75ee4e8aa957d4f04e107130fe69d61e6b215763 (patch) | |
| tree | 6d04bfe406bd0a07ab631d2702c1653f9f9ec9d0 /contrib/jenkins_arm.sh | |
| parent | fcf79926e5e5d296efc4d53b1c50849e4fff7908 (diff) | |
contrib/fsm-to-dot: add default edge label '-'
When some edges have no label, it is sometimes hard to interpret which label
belongs to which edge. Adding a '-' default label clarifies the edge labeling.
Change-Id: I3a10b615288107e8fc12ffdbbe0099cf51abe94f
Diffstat (limited to 'contrib/jenkins_arm.sh')
0 files changed, 0 insertions, 0 deletions