diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-12-09 20:52:01 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-12-15 22:18:28 +0100 |
| commit | 739d8e3f7b2e418a17e13c908aefcbb4c6c150f6 (patch) | |
| tree | d7d27edbcefaf77816ec26962305155ec70942fb /src/Util.hs | |
| parent | 66e6f51b732d351577bc04b4d6e21c8c20807840 (diff) | |
Use process variable name for node created by spawn
Diffstat (limited to 'src/Util.hs')
0 files changed, 0 insertions, 0 deletions