[gama-platform/gama] 3d39a5: Fix bat headless script #3393

0 views
Skip to first unread message

Lucas Grosjean

unread,
May 12, 2022, 5:55:27 AM5/12/22
to gama...@googlegroups.com
Branch: refs/heads/GAMA_1.8.2
Home: https://github.com/gama-platform/gama
Commit: 3d39a53903f240278cf216c16621d65566fb9857
https://github.com/gama-platform/gama/commit/3d39a53903f240278cf216c16621d65566fb9857
Author: LucasGrjs <Lucas.gr...@orange.fr>
Date: 2022-05-12 (Thu, 12 May 2022)

Changed paths:
M travis/jdk/win/gama-headless.bat
M ummisco.gama.product/extraresources/headless/windows/gama-headless.bat

Log Message:
-----------
Fix bat headless script #3393


Reply all
Reply to author
Forward
0 new messages