diff dot_gitignore @ 588:7f2a18dd6b8f

Clean up unused zsh function
author zegervdv <zegervdv@me.com>
date Sat, 16 Apr 2022 17:59:38 +0200
parents d726921aaabe
children bd41aac927e6
line wrap: on
line diff