From 831725e57a71e01c727d266940e8d1e6fce47aad Mon Sep 17 00:00:00 2001 From: Pedro Castro Date: Thu, 20 Apr 2023 16:16:41 -0300 Subject: [PATCH] add .res and .resi to .gitattributes --- .gitattributes | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.gitattributes b/.gitattributes index e9a3efdd53..35ab9a3db7 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,2 +1,4 @@ *.ml linguist-language=OCaml *.mli linguist-language=OCaml +*.res linguist-language=ReScript +*.resi linguist-language=ReScript