diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-06-12 15:20:32 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-06-12 15:23:34 +0200 |
| commit | 5909bdc88735c2c1bd9f44eb6a1b518785144292 (patch) | |
| tree | 7203339f423c61325f355c42d1cb0ffafa8b51df | |
| parent | 8d09bfe21870c2d5fdb1cd04bc5fdcab177204b0 (diff) | |
.gitignore: Add doc/stamp-[0-9].
| -rw-r--r-- | .gitignore | 1 |
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] |