4 lines
112 B
Text
4 lines
112 B
Text
*.lagda.md linguist-language=Literate Agda
|
|
*.lagda.md linguist-detectable=true
|
|
|
|
*.css linguist-detectable=false
|