on master help sign in
Idris-dev/.gitattributes
1 line 12 B history raw
1* text=auto