all: rename `@maximum` to `@max` and `@minimum` to `@min`

ca27055cdaAli Chraghi committed on 10/18/2022, 11:15:16 AM· committed by Veikka Tuominenparentedc842f
33 files changedLine totals unavailable