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