diff options
| author | regnat <rg@regnat.ovh> | 2021-05-12 16:19:51 +0200 |
|---|---|---|
| committer | regnat <rg@regnat.ovh> | 2021-05-12 16:19:51 +0200 |
| commit | ec613603ba324bf12f8f554d74fb1a02c6e9b472 (patch) | |
| tree | 5fefc7964ba6ebe34ee0b3ad4be053c52434d8b4 /scripts/prepare-installer-for-github-actions | |
| parent | 7f9759b18d786d26574bfaf3fa00f71402615ff8 (diff) | |
DerivedPathWithHints -> BuiltPath
Just a renaming for now
Diffstat (limited to 'scripts/prepare-installer-for-github-actions')
0 files changed, 0 insertions, 0 deletions