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