Skip to content

Delete forgotten configuration file

The zsh-navigation-tools plugin is no longer used.

Merge request reports