An error occurred while fetching the assigned milestone of the selected merge_request.
Vector operators
Files
1- Nils Kohl authored
Using re.fullmatch also for the FE spaces in the generate_all_operators.py script. Otherwise, e.g., 'P1Vector' is also chosen if only 'P1' is specified.