diff dot_gitignore @ 749:77711d88bb3a

chore: remove unused command
author zegervdv <zegervdv@me.com>
date Sat, 14 Jan 2023 11:58:25 +0100
parents d726921aaabe
children bd41aac927e6
line wrap: on
line diff