Remove some old and unused images in doc/images. (JuliaLang#35123)

oxinabox · Mar 16, 2020 · 7c0608c · 7c0608c
1 parent 94b29d5
commit 7c0608c
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 3,456 deletions.
diff --git a/doc/images/github_metadata_develbranch.png b/doc/images/github_metadata_develbranch.png
diff --git a/doc/images/github_metadata_fork.png b/doc/images/github_metadata_fork.png
diff --git a/doc/images/github_metadata_pullrequest.png b/doc/images/github_metadata_pullrequest.png
diff --git a/doc/images/jltypes.ai b/doc/images/jltypes.ai
diff --git a/doc/images/jltypes.svg b/doc/images/jltypes.svg
diff --git a/doc/images/travis-icon.png b/doc/images/travis-icon.png