diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-10-08 11:23:22 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-10-08 11:37:07 +0200 |
| commit | cf3d1763ede1a329c2bc932c84591ab594bb6c96 (patch) | |
| tree | 665f92418f8671474de3815241fb657384463c94 /.gitignore | |
| parent | d57660c54907cc6fba8b0adf6295fd2311ada6cf (diff) | |
| parent | 2fa55c72476c73211cbb2d6b29c05a1ad58a6cf9 (diff) | |
| download | patches-cf3d1763ede1a329c2bc932c84591ab594bb6c96.tar patches-cf3d1763ede1a329c2bc932c84591ab594bb6c96.tar.gz | |
Merge branch 'core-updates'
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 38cde42fca..df59a9176e 100644 --- a/.gitignore +++ b/.gitignore @@ -150,3 +150,4 @@ tmp /etc/indent-code.el /.version /doc/stamp-[0-9] +/gnu/packages/bootstrap |