Skip to content
Snippets Groups Projects

Minor Update to do: Use chr-pos rather than ip to create project Id for local analysis Draw the JASS Logo in the stderr

Closed Minor Update to do: Use chr-pos rather than ip to create project Id for local analysis Draw the JASS Logo in the stderr
dev_cnerin into dev
Closed Cyril NERIN requested to merge dev_cnerin into dev