You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
# Set the following file types, so that line endings are NEVER changed. The "binary" option does it. N.B. that here we need it also for tabular files, not only truly binary files!