summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2018-06-12 15:20:32 +0200
committerLudovic Courtès <ludo@gnu.org>2018-06-12 15:23:34 +0200
commit5909bdc88735c2c1bd9f44eb6a1b518785144292 (patch)
tree7203339f423c61325f355c42d1cb0ffafa8b51df
parent8d09bfe21870c2d5fdb1cd04bc5fdcab177204b0 (diff)
.gitignore: Add doc/stamp-[0-9].
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
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]