• Fix .gitignore one more time.

    sorinj committed Apr 23, 2019