dunham/newt
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

experiment with gitea
Some checks failed
Publish Playground / build (push) Has been cancelled
Details
Publish Playground / deploy (push) Has been cancelled
Details

Browse Source
This commit is contained in:
Steve Dunham
2025-12-27 09:33:17 -08:00
parent 70348f3e5d
commit d5218fa5dd
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.gitattributes vendored
View File

@@ -1 +1 @@
*.newt linguist-language=agda
*.newt linguist-language=newt gitlab-language=newt