diff options
| author | Enrico Tassi | 2014-09-01 14:55:20 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-09-02 11:29:42 +0200 |
| commit | deebdaa96867dc4424d412956b3a2f595f4d4cc7 (patch) | |
| tree | 77abbd58201f9a9f814085a78f598143fcd1f21a /plugins | |
| parent | cf6b12cb3a88fb3af6a7b3e91d17db8b06d23c81 (diff) | |
stm: use xlabel insted of label in dot (debug) output
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions