.gitignore: Add doc/stamp-[0-9].
authorLudovic Courtès <ludo@gnu.org>
Tue, 12 Jun 2018 13:20:32 +0000 (15:20 +0200)
committerLudovic Courtès <ludo@gnu.org>
Tue, 12 Jun 2018 13:23:34 +0000 (15:23 +0200)
commit5909bdc88735c2c1bd9f44eb6a1b518785144292
tree7203339f423c61325f355c42d1cb0ffafa8b51df
parent8d09bfe21870c2d5fdb1cd04bc5fdcab177204b0
.gitignore: Add doc/stamp-[0-9].
.gitignore