From f9f7d2fc9d9c403561870562991282073aac3a4b Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Tue, 7 Jul 2009 21:42:12 +0200 Subject: zprofile: extended_glob does not appear to be neccessary --- etc/profile | 2 -- 1 file changed, 2 deletions(-) (limited to 'etc/profile') diff --git a/etc/profile b/etc/profile index 6f34cb9..9627e6f 100644 --- a/etc/profile +++ b/etc/profile @@ -1,6 +1,4 @@ ## vim:ft=zsh -setopt extended_glob - function pr_info { print -P "%F{cyan}>>%F{default} $*" } -- cgit v1.2.3