Merge branch 'mohr/53-how-to-generate-operators-needs-a-little-bit-of-pimping' into 'main'
Give hint to user on the need to extend generate.py Closes #53 See merge request !45
Please register or sign in to comment
Give hint to user on the need to extend generate.py Closes #53 See merge request !45