Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-12-20 | Meta: Tweak shell_include.sh | Nico Weber | |
* `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. |