- Jan 01, 2025
-
-
Dmitri Naumov authored
-
- Aug 14, 2024
-
-
Dmitri Naumov authored
This slightly simplifies code avoiding extra boolean variable.
-
- Jan 02, 2024
-
-
Dmitri Naumov authored
-
- May 10, 2023
-
-
Dmitri Naumov authored
-
This slightly simplifies code avoiding extra boolean variable.