diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/highlight/filetypes.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/highlight/filetypes.conf b/etc/highlight/filetypes.conf index 5028b5c3..4d4168f0 100644 --- a/etc/highlight/filetypes.conf +++ b/etc/highlight/filetypes.conf @@ -129,6 +129,7 @@ FileMapping = { { Lang="squirrel", Extensions={"nut"} }, { Lang="luban", Extensions={"lbn"} }, { Lang="maya", Extensions={"mel"} }, + { Lang="miniscript", Extensions={"ms"} }, { Lang="nemerle", Extensions={"n"} }, { Lang="nim", Extensions={"nimble", "nimrod", "nims"} }, { Lang="paradox", Extensions={"sc"} }, |