diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-10-10 20:03:02 +0100 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-10-10 20:03:02 +0100 |
| commit | 3219c84433874c3b852a254b7b3047f0e19913d8 (patch) | |
| tree | ad0fbf172644a90b5c79e16169033c865aec5e7c /scripts | |
| parent | 1a0909aa203312b6ccfe8c34ddb6cbec63ca5199 (diff) | |
makefile: set perms for built subprojects in pluginenv
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions