From 42cba70f623f41d9db2c005973b4502cc871fba2 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 16 Jan 2023 16:21:39 +0100
Subject: [PATCH] Add SICStus generated files to .gitignore

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

diff --git a/.gitignore b/.gitignore
index 55602b8..eb5e214 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,10 @@
 .project
 /main.pl
 
+# SICStus generated and temporary build files
+*_glue.h
+*_glue_*.c
+
 # Built libraries
 *.a
 *.o
-- 
GitLab