From 8e9e6b54fede5a27fcbed86f065e9650dd98fcdb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonas=20Walld=C3=A9n?= <jonasw@roxen.com>
Date: Fri, 6 Jan 2012 19:04:21 +0100
Subject: [PATCH] Another generated file that git should ignore.

---
 src/post_modules/CritBit/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/post_modules/CritBit/.gitignore b/src/post_modules/CritBit/.gitignore
index 3c4d1ab9e1..14afa284d9 100644
--- a/src/post_modules/CritBit/.gitignore
+++ b/src/post_modules/CritBit/.gitignore
@@ -7,6 +7,7 @@
 /dependencies
 /floattree.c
 /inttree.c
+/stringtree.c
 /make_variables
 /propagated_variables
 /stamp-h
-- 
GitLab