Simon Detheridge 467aa16da7 Merge pull request #3835 from overleaf/ho-mf-file-extension ...

add mf files as editable in editor

GitOrigin-RevId: b22d59af3fcd0c647cc436d6ac72130d8f29b4aa

2021-03-31 02:05:29 +00:00

..

web

Merge pull request #3835 from overleaf/ho-mf-file-extension

2021-03-31 02:05:29 +00:00