diff options
| author | David Runge <dave@sleepmap.de> | 2022-12-09 23:01:27 +0100 |
|---|---|---|
| committer | David Runge <dave@sleepmap.de> | 2022-12-09 23:01:27 +0100 |
| commit | 2d158826b2448f9ef0a07f49fc6e265d26d81737 (patch) | |
| tree | ddac4055951c685c1f576d1b6932d26d1aff371f /.local/share/SuperCollider/Extensions/thesoundofpeople | |
| parent | efd80c4e49f786329163289724ba23b2fdc5fa58 (diff) | |
| download | dotfiles-2d158826b2448f9ef0a07f49fc6e265d26d81737.tar.gz dotfiles-2d158826b2448f9ef0a07f49fc6e265d26d81737.tar.bz2 dotfiles-2d158826b2448f9ef0a07f49fc6e265d26d81737.tar.xz dotfiles-2d158826b2448f9ef0a07f49fc6e265d26d81737.zip | |
Use grep -E in gpg2mutt
bin/gpg2mutt:
Change gpg2mutt to use grep -E instead of the obsolete egrep.
Diffstat (limited to '.local/share/SuperCollider/Extensions/thesoundofpeople')
0 files changed, 0 insertions, 0 deletions