differnt font size for diff and 'normal' gvim
authorts <ts@example.com>
Thu, 29 Oct 2020 16:01:09 +0000 (17:01 +0100)
committerts <ts@example.com>
Thu, 29 Oct 2020 16:01:09 +0000 (17:01 +0100)
commit614b7411a5d6a5407b319f3d78c9b8167544bee5
tree90d6e1e80ab079ceff2ece0789015350fff4761e
parent6d2790273a22a134efdd75c7fe50c359111f8397
differnt font size for diff and 'normal' gvim
vimrc