"Other" tab in File options was removed. Closes #1930
-rw-r--r-- 982 .gitgnore
drwxr-xr-x - trunk