CategoryTheory/algprog
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Update .gitattributes

Browse source
This commit is contained in:
leonv 2024-03-20 15:51:21 +01:00
parent 2cd29aa858
commit 1fec752560
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.gitattributes vendored
View file

@ -1,4 +1,3 @@
*.lagda.md linguist-language=Agda *.lagda.md linguist-language=Agda
*.lagda.md linguist-detectable=true *.lagda.md linguist-detectable=true
*.css linguist-detectable=false *.css linguist-detectable=false