Add to .gitignore
authorSimon Peyton Jones <simonpj@microsoft.com>
Sun, 12 Jun 2016 21:32:31 +0000 (22:32 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 13 Jun 2016 09:57:31 +0000 (10:57 +0100)
commite064f501d76c208ddab3c3be551ffe5167d7974f
treedfd3213300559073cfd2ac2198b6fbe55b901b8d
parent8104f7c674d7ef2db0c25312f48763202dcef57f
Add to .gitignore

This adds
  *.patch
  *.stackdump    (Windows)
  foo*           (simonpj uses foo* for junk files)
.gitignore