From 1597d72254c59556bce3bb595b869d2b9b75b32e Mon Sep 17 00:00:00 2001
From: Ryan Scott <ryan.gl.scott@gmail.com>
Date: Sun, 22 May 2022 19:41:28 -0400
Subject: [PATCH] Add WiX-generated files to .gitignore

---
 .gitignore | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.gitignore b/.gitignore
index 8827bc1d..06b7518e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -31,3 +31,10 @@ cryptol-2.*
 /bin
 /output
 /tests/regression/*.out
+
+# WiX-generated files
+allfiles.wixobj
+allfiles.wxs
+cryptol.msi
+cryptol.wixobj
+cryptol.wixpdb