diff options
author | Marc Cornellà <marc.cornella@live.com> | 2020-08-28 23:50:05 +0200 |
---|---|---|
committer | Marc Cornellà <marc.cornella@live.com> | 2020-08-28 23:50:37 +0200 |
commit | 4c9fc2634b3125e2b253de11b5208ccbfcfa8232 (patch) | |
tree | 4ab2bc9feb3562696e5cbd4e3b5b24c07ebd133e /themes | |
parent | 8d08f1634a7b9782e3722ce770e8630f569afe3f (diff) | |
download | zsh-4c9fc2634b3125e2b253de11b5208ccbfcfa8232.tar.gz zsh-4c9fc2634b3125e2b253de11b5208ccbfcfa8232.tar.bz2 zsh-4c9fc2634b3125e2b253de11b5208ccbfcfa8232.zip |
vagrant-prompt: replace `grep -P` call with sed and clean up
Fixes #9207
Diffstat (limited to 'themes')
0 files changed, 0 insertions, 0 deletions