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