diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2022-02-20 14:17:35 +0000 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2022-02-20 14:17:35 +0000 |
| commit | 05b01f18c3cda01dc2fa0256a0c07fd77e498f1f (patch) | |
| tree | b3473a07937316d8724dbb80c473cc8e1bc03dc2 /zsh | |
| parent | ccbdcc5ee81931509510a0f0aab07507b8700e81 (diff) | |
zsh: Remove REMATCH_PCRE as it is no longer needed
Diffstat (limited to 'zsh')
| -rw-r--r-- | zsh/env | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -16,7 +16,6 @@ case ${OSTYPE} in esac setopt EXTENDED_GLOB -setopt REMATCH_PCRE source_if_exists dotfiles-${UNAME}/zsh/env source_if_exists dotfiles-${DOMAIN}/zsh/env |