[eclipse] Change release month on the splash screens

Signed-off-by: Stéphane Galland <galland@arakhne.org>
sarl · May 18, 2020 · b9baea8 · b9baea8
1 parent 13dd3ba
commit b9baea8
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/main/coreplugins/io.sarl.eclipse-dsl4sarl/splash.bmp b/main/coreplugins/io.sarl.eclipse-dsl4sarl/splash.bmp
diff --git a/main/coreplugins/io.sarl.eclipse/splash.bmp b/main/coreplugins/io.sarl.eclipse/splash.bmp