Skip to content
Snippets Groups Projects
Commit 23c0883b authored by Robbert Krebbers's avatar Robbert Krebbers Committed by Ralf Jung
Browse files

remove some parentheses

parent 241a5563
No related branches found
No related tags found
1 merge request!422add gset_to_gmap_to_list
Pipeline #74512 canceled
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment