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

ravibitsgoa · Apr 6, 2020 · 736e2d6 · 736e2d6
1 parent 42214da
commit 736e2d6
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