tell github to highlight .newt files

2024-10-23 22:09:07 -07:00
parent 8fe9613c02
commit ec1f58a071
1 changed files with 1 additions and 0 deletions
--- a/.gitattributes
+++ b/.gitattributes
@@ -0,0 +1 @@
+*.newt linguist-language=agda