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 and Use of the local analysis attribute of Project to factorize the code

Merged Minor Update to do: Use chr-pos rather than ip to create project Id for local analysis Draw the JASS Logo in the stderr and Use of the local analysis attribute of Project to factorize the code
dev_cnerin into dev
Merged Cyril NERIN requested to merge dev_cnerin into dev

Merge request reports

Checking pipeline status.

Merged by Hervé MENAGERHervé MENAGER 3 years ago (Jul 6, 2021 9:14am UTC)

Merge details

  • Changes merged into with d7444b0b.
  • Did not delete the source branch.

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply