35e1d2ea48
that removes the dumpfile if it's outdated, so it will get dumped again when the shell starts next time. We're not using comdump because wrapped ZLE widgets cannot or should not be identified by compdump when they have a different name than the original one. See https://github.com/zsh-users/zsh-syntax-highlighting/issues/851 |
||
---|---|---|
.. | ||
stage2 | ||
templates | ||
tools | ||
zimfw.zsh.erb |