From 05b01f18c3cda01dc2fa0256a0c07fd77e498f1f Mon Sep 17 00:00:00 2001
From: Grégoire Duchêne <gduchene@awhk.org>
Date: Sun, 20 Feb 2022 14:17:35 +0000
Subject: zsh: Remove REMATCH_PCRE as it is no longer needed

---
 zsh/env | 1 -
 1 file changed, 1 deletion(-)

(limited to 'zsh')

diff --git a/zsh/env b/zsh/env
index 74d96cd..8bfe0fb 100644
--- a/zsh/env
+++ b/zsh/env
@@ -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
-- 
cgit v1.2.3-70-g09d2