experiment with gitea

2025-12-27 09:33:17 -08:00
1 changed files with 1 additions and 1 deletions
--- a/.gitattributes
+++ b/.gitattributes
@@ -1 +1 @@
-*.newt linguist-language=agda
+*.newt linguist-language=agda gitlab-language=newt
`@@ -1 +1 @@`
	`*.newt linguist-language=agda`	`*.newt linguist-language=agda gitlab-language=newt`