Skip to content

Change 'nonnegative' to 'non-negative' for consistency#1215

Merged
simonbrandhorst merged 1 commit intothofma:masterfrom fingolfin:mh/nonnegativeSep 19, 2023
+1-1

Commits

Commits on Sep 18, 2023