diff bin/executable_clip @ 587:77280c499124

usd zsh-histdb-skim for more stable results
author zegervdv <zegervdv@me.com>
date Thu, 14 Apr 2022 22:14:57 +0200
parents eba1dee43703
children
line wrap: on
line diff