diff options
| author | Nico Weber <thakis@chromium.org> | 2022-12-19 09:19:26 -0500 |
|---|---|---|
| committer | Tim Flynn <trflynn89@pm.me> | 2022-12-20 09:23:32 -0500 |
| commit | c6f81b5b832fa7470b4a23c4c4a6fab9dba19833 (patch) | |
| tree | dcad18df28ece46959b23317958d0b0fcc55f20f /.gitignore | |
| parent | 9a2ee5a9dd792359440429832ac564f5dde2b315 (diff) | |
| download | serenity-c6f81b5b832fa7470b4a23c4c4a6fab9dba19833.zip | |
Meta: Tweak shell_include.sh
* `chmod -x` as it's for sourcing, not for executing
* Remove run line, for the same reason
* Rename it from .shell_include.sh to shell_include.sh, since e.g.
`rg` doesn't search in hidden files by default
No behavior change.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions