diff dot_gitignore @ 693:f9eadf5e6d57

feat: reduce size of history search window
author zegervdv <zegervdv@me.com>
date Wed, 05 Oct 2022 18:35:44 +0200
parents d726921aaabe
children bd41aac927e6
line wrap: on
line diff