Brian Gough 85f4f348dd add default settings to remove wordcount and synctex containers před 6 roky
..
settings.defaults.js 85f4f348dd add default settings to remove wordcount and synctex containers před 6 roky