diff options
| author | Andreas Fuchs | 2020-11-25 19:00:01 -0500 |
|---|---|---|
| committer | notgne2 | 2020-12-02 10:24:23 -0700 |
| commit | 6ccc0b7ae981d8cd872af1eae69a2435aa87b8ef (patch) | |
| tree | 53fe082c914ec12a165e552e3934ad7309b7f3a6 /examples/system | |
| parent | fa4c0a86cd608f5e98b50e8eb4b03db04a7726ce (diff) | |
Write an "activate-rs" script into the profile path
This should point to the correct path if the target platform differs
fro the deploying platform.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions