diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-01-13 17:50:17 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-01-13 18:18:48 +0100 |
commit | 8c986ab12034d67db836a881f57c69754d8073ae (patch) | |
tree | bf5183011119695ac549d4cfff4dc2175e659397 /.gitignore | |
parent | 203795aceaabec0e0e5818e1650ad407d825d1b3 (diff) | |
parent | 7a2eed3aac1ecd0bdf293e33a234fad58f2e5f9e (diff) | |
download | patches-8c986ab12034d67db836a881f57c69754d8073ae.tar patches-8c986ab12034d67db836a881f57c69754d8073ae.tar.gz |
Merge branch 'master' into core-updates
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 412d09ca11..098c9bb65c 100644 --- a/.gitignore +++ b/.gitignore @@ -134,3 +134,6 @@ GTAGS /doc/images/service-graph.eps /doc/images/service-graph.pdf /doc/images/dmd-graph.png +/doc/images/bootstrap-packages.png +/doc/images/bootstrap-packages.eps +/doc/images/bootstrap-packages.pdf |