Skip to content

Fix zsh completer for clear-cache - #3457

Merged
forki merged 1 commit into
masterfrom
zsh-clear-cache
Dec 19, 2018
Merged

forki merged 1 commit into
masterfrom
zsh-clear-cache

Conversation

@agross

@agross agross commented Dec 14, 2018

Copy link
Copy Markdown
Contributor

The paket clear-cache completer is broken. This fixes it.

@forki
forki merged commit e68c140 into master Dec 19, 2018
@agross
agross deleted the zsh-clear-cache branch December 19, 2018 12:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants