From c07e0cf256a072926c93f07d6f551b73d5143c2b Mon Sep 17 00:00:00 2001 From: David Bremner Date: Sun, 21 Apr 2019 14:10:18 -0300 Subject: [PATCH] build: ignore *.stamp The current case is docstring.stamp, but it's likely that others will arise. --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index e06101ce..468b660a 100644 --- a/.gitignore +++ b/.gitignore @@ -15,3 +15,4 @@ tags .*.swp /releases /.stamps +*.stamp