mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-11 13:36:08 +03:00
Add a .gitattributes
Amusing as it is to display as being implemented in Scheme, it's probably best to ignore the bootstrap files!
This commit is contained in:
parent
f595ce3ef1
commit
de8acf781b
1
.gitattributes
vendored
Normal file
1
.gitattributes
vendored
Normal file
@ -0,0 +1 @@
|
||||
bootstrap/* linguist-vendored
|
Loading…
Reference in New Issue
Block a user