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

Added .gitattributes

Browse source
This commit is contained in:
Leon Vatthauer 2024-03-20 15:47:37 +01:00
parent 45d193f649
commit 2cd29aa858
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.gitattributes vendored Normal file
View file

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