From 2e597755623544d5ba71837b3ae2a195153a221b Mon Sep 17 00:00:00 2001
From: Julian Blake Kongslie
Date: Sat, 5 Nov 2022 17:00:04 -0700
Subject: Ignore pipetrace files

---
 .gitignore | 1 +
 Makefile   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 4a28f52..08aaa96 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
+*.pt
 /.have_submodules
 /build
diff --git a/Makefile b/Makefile
index 14de52f..fb096da 100644
--- a/Makefile
+++ b/Makefile
@@ -27,7 +27,7 @@ default: $(BUILD)/minigolf
 .PHONY: default
 
 clean:
-	rm -rf $(BUILD)
+	rm -rf $(BUILD) *.pt
 .PHONY: clean
 
 .SECONDARY:
-- 
cgit v1.2.3