diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-01-04 22:12:44 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-01-04 22:12:44 +0100 |
| commit | 0d14a9caaa9f3fee06c55f9e10acf6ce46b3389d (patch) | |
| tree | 84edd0aceae573670ea7070e35fd1d707f0cd98f /src/Run.hs | |
| parent | 433c3f0a80784a5e529b9268891ed2fddf0f2627 (diff) | |
Look for core binary in the directory containing wrapper
Diffstat (limited to 'src/Run.hs')
0 files changed, 0 insertions, 0 deletions