diff dot_gitignore @ 301:f1590ff676ab

Remove diagnostics plugin and upgrade config to built-in diagnostics
author zegervdv <zegervdv@me.com>
date Fri, 13 Nov 2020 09:39:25 +0100
parents d726921aaabe
children bd41aac927e6
line wrap: on
line diff