fix ignore in library/.gitignore
Merge remote-tracking branch 'master/master'