Skip to content
Snippets Groups Projects
Commit d646f889 authored by Ivan Alglave's avatar Ivan Alglave
Browse files

Changed groups format to use unique id and non-unique name

parent 70240c07
No related branches found
No related tags found
Loading
This commit is part of merge request !4. Comments created here will be created in the context of that merge request.
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment