diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000000000000000000000000000000000000..5f0cd02eb147c7a535b10fde17d5be9be121ca2a --- /dev/null +++ b/.gitattributes @@ -0,0 +1,2 @@ +# See: https://docs.gitlab.com/ee/user/project/highlighting.html +*.pl gitlab-language=prolog