Fix up .gitignore
Merge branch 'leon'