diff dot_gitignore @ 420:db1013fcbd0d

Increase font size
author zegervdv <zegervdv@me.com>
date Tue, 27 Jul 2021 18:30:56 +0200
parents d726921aaabe
children bd41aac927e6
line wrap: on
line diff