paperlined.org
apps > vim
document updated 1 year, 9 months ago, on Sep 13, 2022

how-to change font size in gvim