diff dot_gitignore @ 667:1da48e5c51cf

remove unneeded export
author zegervdv <zegervdv@me.com>
date Tue, 27 Sep 2022 20:57:45 +0200
parents d726921aaabe
children bd41aac927e6
line wrap: on
line diff