diff options
author | romkatv <roman.perepelitsa@gmail.com> | 2019-05-30 11:46:08 +0300 |
---|---|---|
committer | romkatv <roman.perepelitsa@gmail.com> | 2019-05-30 11:46:08 +0300 |
commit | 4dad2d81ffb7e6c59df04599865adf4393905dcf (patch) | |
tree | 3d04ed1209fab426d7b8eae6065950e84f76478a /EXTENDED_CONFIGURATION.md | |
parent | ecb5c098a21fc512dee1d81e3d5532ee006abf17 (diff) |
correctly handle zsh 5.4.2 whose ZSH_PATCHLEVEL does not start with "zsh"
Diffstat (limited to 'EXTENDED_CONFIGURATION.md')
0 files changed, 0 insertions, 0 deletions