Doc: remove unused images (#137323)

diff --git a/Doc/library/tulip_coro.dia b/Doc/library/tulip_coro.dia
deleted file mode 100644 (file)
index 70a33e3..0000000
Binary files a/Doc/library/tulip_coro.dia and /dev/null differ

diff --git a/Doc/library/tulip_coro.png b/Doc/library/tulip_coro.png
deleted file mode 100644 (file)
index aad41c9..0000000
Binary files a/Doc/library/tulip_coro.png and /dev/null differ