From 428c04e7c2cea4760baedd41912c23242b240da8 Mon Sep 17 00:00:00 2001
From: Michael Kirsch <mkirsch.git@gmail.com>
Date: Sun, 19 May 2019 17:43:49 +0200
Subject: [PATCH] remove gitignore for build temps

---
 xs/.gitignore | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 xs/.gitignore

diff --git a/xs/.gitignore b/xs/.gitignore
deleted file mode 100644
index 3c836717e..000000000
--- a/xs/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-compilet*
\ No newline at end of file