diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-06-21 14:31:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-21 14:31:09 +0200 |
| commit | 5f9a921bc1e6d3e6bf65601be565585cf0190e8f (patch) | |
| tree | cb82085d091623b8d977caa37ac4937deeb200eb /tests/user-envs.sh | |
| parent | 085104944b2957f4269fcbfaf0d1874ab0c9ce84 (diff) | |
do not use "target", as it's a loaded term in the domain of compilers
Co-authored-by: Robert Hensing <roberth@users.noreply.github.com>
Diffstat (limited to 'tests/user-envs.sh')
0 files changed, 0 insertions, 0 deletions