From 9ae23514881811b34f3736d6ca2dc179114476d9 Mon Sep 17 00:00:00 2001 From: Tyler Wilding Date: Sat, 12 Sep 2020 23:52:26 -0400 Subject: [PATCH] Ignore third-party folder in PRs, add syntax highlighting for GOAL files --- .gitattributes | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 .gitattributes diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000000..727015b74f --- /dev/null +++ b/.gitattributes @@ -0,0 +1,4 @@ +third-party/* linguist-vendored +*.gc linguist-language=lisp +*.gd linguist-language=lisp +*.gs linguist-language=Scheme