From 467aa16da702ddf0c09d8f93aa6fdb7763b47ded Mon Sep 17 00:00:00 2001 From: Simon Detheridge Date: Tue, 30 Mar 2021 16:39:48 +0100 Subject: [PATCH] Merge pull request #3835 from overleaf/ho-mf-file-extension add mf files as editable in editor GitOrigin-RevId: b22d59af3fcd0c647cc436d6ac72130d8f29b4aa --- services/web/config/settings.defaults.coffee | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/services/web/config/settings.defaults.coffee b/services/web/config/settings.defaults.coffee index 01743bc69a..da192da698 100644 --- a/services/web/config/settings.defaults.coffee +++ b/services/web/config/settings.defaults.coffee @@ -60,7 +60,8 @@ defaultTextExtensions = [ 'ldf', 'rmd', 'lua', - 'gv' + 'gv', + 'mf' ] parseTextExtensions = (extensions) ->