From 5909bdc88735c2c1bd9f44eb6a1b518785144292 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Tue, 12 Jun 2018 15:20:32 +0200
Subject: .gitignore: Add doc/stamp-[0-9].

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 38a55a3b5d..e2568ed5fe 100644
--- a/.gitignore
+++ b/.gitignore
@@ -147,3 +147,4 @@ tmp
 /nix/scripts/download
 /etc/indent-code.el
 /.version
+/doc/stamp-[0-9]
-- 
cgit v1.2.3