From 39a1ab075bb04475114ada78146e9cb35b17e63b Mon Sep 17 00:00:00 2001
From: Eduardo Chappa <chappa@washington.edu>
Date: Tue, 9 Jul 2019 12:05:25 -0600
Subject:    * Clean up some generated files from the repository and  update   
   gitignore. Suggested by Edmund Lau.

---
 include/stamp-h1 | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 include/stamp-h1

(limited to 'include')

diff --git a/include/stamp-h1 b/include/stamp-h1
deleted file mode 100644
index b330768e..00000000
--- a/include/stamp-h1
+++ /dev/null
@@ -1 +0,0 @@
-timestamp for include/config.h
-- 
cgit v1.2.3-54-g00ecf