diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2021-10-08 20:58:50 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2021-10-08 20:58:50 +0200 |
| commit | b47c0247ba073d0f4f1b2c7132c0bedc5be758c3 (patch) | |
| tree | d25bd29482517313e350fdb2f7567c53bcdf802c /src/Util.hs | |
| parent | e5be205fd6b56304d45cf077e49c13cc555ec9b0 (diff) | |
Show proc name instead of node name in output
Diffstat (limited to 'src/Util.hs')
0 files changed, 0 insertions, 0 deletions