diff options
| author | 2023-11-08 13:21:36 +0100 | |
|---|---|---|
| committer | 2023-11-08 13:21:36 +0100 | |
| commit | 7d26dcc8475e4c7c3f68358405e9074ed61e018c (patch) | |
| tree | ba6a032690c9dde361b21d9fbbd48d4c80457dac /p/scripts | |
| parent | 00ae423924293a13705bc156c783867315c26a1e (diff) | |
Remove unneeded execution permissions (#5831)
`chmod -x`
Diffstat (limited to 'p/scripts')
0 files changed, 0 insertions, 0 deletions
