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 committed by Leon Vatthauer
parent 2cd29aa858
commit f09a92345c
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
.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
agda/Agda.css linguist-vendored
*.css linguist-detectable=false