Add /includes/dist to .gitignore
authorRyan Scott <ryan.gl.scott@gmail.com>
Sat, 4 May 2019 14:30:47 +0000 (10:30 -0400)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Tue, 7 May 2019 10:35:58 +0000 (06:35 -0400)
commit961979617a3b6717f5d175c08884a9b970602d6e
tree11c1906bd716a681a35baf11d7328cea92736ce4
parentba0aed2e783435c9175761fc2b20b9302f368a98
Add /includes/dist to .gitignore

As of commit d37d91e9a444a7822eef1558198d21511558515e, the GHC build
now autogenerates a `includes/dist/build/settings` file. To avoid
dirtying the current `git` status, this adds `includes/dist` to
`.gitignore`.

[ci skip]
.gitignore