[gama-platform/gama] 0d5cae: [HEADLESS] Remove '-write-xmi' from help message

0 views
Skip to first unread message

Arthur Brugière

unread,
May 12, 2022, 5:11:54 AM5/12/22
to gama...@googlegroups.com
Branch: refs/heads/GAMA_1.8.2
Home: https://github.com/gama-platform/gama
Commit: 0d5cae1040b17a3dba8c73e86aeda0f0340ec974
https://github.com/gama-platform/gama/commit/0d5cae1040b17a3dba8c73e86aeda0f0340ec974
Author: RoiArthurB <con...@arthurbrugiere.fr>
Date: 2022-05-12 (Thu, 12 May 2022)

Changed paths:
M msi.gama.headless/src/msi/gama/headless/runtime/Application.java

Log Message:
-----------
[HEADLESS] Remove '-write-xmi' from help message
Don't know how to use it, what it is for, nor anything


Reply all
Reply to author
Forward
0 new messages