diff options
| author | dzwdz | 2022-08-07 23:50:15 +0200 |
|---|---|---|
| committer | dzwdz | 2022-08-07 23:50:15 +0200 |
| commit | b0addbe14d2353e9c33f7f4d8a0b4ba8b24b2bd9 (patch) | |
| tree | 0831f7c86e41ca2933e6dc5ec02c2d8b7078cd73 /.gitignore | |
| parent | bd6af34828a9075edbda7f09011175d0bd11143f (diff) | |
user/shell: make `whitelist` work in a more sensible way
doesn't need to be a shell builtin now
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions