[eclipse] Use "First blackhole picture" as splash screen.

Signed-off-by: Stéphane Galland <galland@arakhne.org>
sarl · Apr 11, 2019 · c9c35d9 · c9c35d9
1 parent c13b9a0
commit c9c35d9
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 0 deletions.
diff --git a/main/coreplugins/io.sarl.eclipse/OSGI-INF/l10n/bundle.properties b/main/coreplugins/io.sarl.eclipse/OSGI-INF/l10n/bundle.properties
@@ -83,6 +83,8 @@ https://www.eclipse.org/logotm/. \
 Oracle and Java are trademarks or registered trademarks of Oracle and/or its affiliates. \
 Other names may be trademarks of their respective owners.\n\
 \n\
+Splash screen image is provided by the European Southern Observatory/AFP.\n\
+\n\
 This product includes software developed by other open source projects including \
 the Eclipse Foundation http://www.eclipse.org, the Xtext library https://eclipse.org/Xtext/, \
 the Guava Libraries https://code.google.com/p/guava-libraries, and \

diff --git a/main/coreplugins/io.sarl.eclipse/icons/eclipse-about-banner.png b/main/coreplugins/io.sarl.eclipse/icons/eclipse-about-banner.png
diff --git a/main/coreplugins/io.sarl.eclipse/splash.bmp b/main/coreplugins/io.sarl.eclipse/splash.bmp