diff options
| author | Peter Stephenson <pws@zsh.org> | 2015-10-30 12:28:07 +0000 |
|---|---|---|
| committer | Peter Stephenson <pws@zsh.org> | 2015-10-30 12:28:07 +0000 |
| commit | 58f4cccb1fbd66b7645178af971cb317cf1a2d7a (patch) | |
| tree | 14b088261d1970c9a68a1a6d7bdef5069f685f3c /Src/zsh.h | |
| parent | de9effbce601db7ad7f7f0d0969b70b920b4e371 (diff) | |
| download | zsh-58f4cccb1fbd66b7645178af971cb317cf1a2d7a.tar.gz zsh-58f4cccb1fbd66b7645178af971cb317cf1a2d7a.tar.xz zsh-58f4cccb1fbd66b7645178af971cb317cf1a2d7a.zip | |
37022: add GLOB_STAR_SHORT option to abbreviate ** and ***
Diffstat (limited to 'Src/zsh.h')
| -rw-r--r-- | Src/zsh.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Src/zsh.h b/Src/zsh.h index d03d171e4..a6f039741 100644 --- a/Src/zsh.h +++ b/Src/zsh.h @@ -2215,6 +2215,7 @@ enum { GLOBASSIGN, GLOBCOMPLETE, GLOBDOTS, + GLOBSTARSHORT, GLOBSUBST, HASHCMDS, HASHDIRS, |