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