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 /gnu | |
| parent | 8d09bfe21870c2d5fdb1cd04bc5fdcab177204b0 (diff) | |
| download | patches-5909bdc88735c2c1bd9f44eb6a1b518785144292.tar patches-5909bdc88735c2c1bd9f44eb6a1b518785144292.tar.gz | |
.gitignore: Add doc/stamp-[0-9].
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions