diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-01-08 10:10:38 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-01-08 10:10:38 +0100 |
| commit | 0252cec56760e25dd8a81c0c85bf4f8e6a5a36b5 (patch) | |
| tree | b5ddb4f7f45d5b14e139d8ec165fc7b3e8da12d9 /src/Util.hs | |
| parent | 63fb0bfc26f42ba66c353e915e6e8219be679d07 (diff) | |
Look for core binary in PATH when invoked without path
Diffstat (limited to 'src/Util.hs')
0 files changed, 0 insertions, 0 deletions