[eclipse] Update the splash screen.

Signed-off-by: Stéphane Galland <galland@arakhne.org>
sarl · Nov 6, 2019 · 9a38f0b · 9a38f0b
1 parent c6c64ed
commit 9a38f0b
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/main/coreplugins/io.sarl.eclipse/splash.bmp b/main/coreplugins/io.sarl.eclipse/splash.bmp