David 8971357dce Merge pull request #16495 from overleaf/dp-editable-file-extensions 2 gadi atpakaļ
..
settings.defaults.js 8971357dce Merge pull request #16495 from overleaf/dp-editable-file-extensions 2 gadi atpakaļ