Commit afc5082f7b642affbedb00ce71d37b279f45ba0e

Bruno Haible 2016-12-26T00:14:43

Update .gitignore after gnulib changed.