Yoshua Wuyts 41fd824415 Revert "Simplify generated PartialOrd code"
This reverts commit 601ed3a10dacc2ba2ee0ca436c23529ae7fde292.
2021-10-18 14:41:38 +02:00
..
2021-10-14 19:57:21 +01:00
2021-10-14 19:57:21 +01:00
2021-10-14 19:51:34 +00:00
2021-10-16 14:13:43 +01:00
2021-10-10 21:08:10 +03:00
2021-10-18 12:03:49 +03:00
2021-10-14 20:10:59 +00:00
2021-10-12 18:35:03 +00:00