diff options
| author | JP Ungaretti <git@jungaretti.com> | 2023-03-01 05:02:14 +0300 |
|---|---|---|
| committer | JP Ungaretti <git@jungaretti.com> | 2023-03-01 05:02:14 +0300 |
| commit | 1a655bfa0d7ebf26d94a82bbc4a2fe6c5bb40501 (patch) | |
| tree | f457776bfefea45de5a6dc193c7c26acff495a1d /src/python/install.sh | |
| parent | f7fa5fc302de0309be31d35e05d0de1215461088 (diff) | |
Rename to runtime_args
Diffstat (limited to 'src/python/install.sh')
0 files changed, 0 insertions, 0 deletions