mirror of
https://github.com/overleaf/overleaf.git
synced 2024-11-07 20:31:06 -05:00
888a0f9c72
Revert "Merge pull request #16495 from overleaf/dp-editable-file-extensions" GitOrigin-RevId: deb3dd882869031fb0489ffbfb32b6f0772be87b |
||
---|---|---|
.. | ||
settings.defaults.js |