Nyall Dawson 886074c913 Rename 'None' enum members in public API
These clash with the Python bindings, where the enum value
becomes unusable
2024-08-06 19:49:10 +10:00
..
2024-07-25 08:00:08 +00:00
2024-08-05 08:29:45 +10:00
2024-07-25 08:00:08 +00:00
2024-05-14 12:00:10 +10:00
2024-07-22 13:20:18 +02:00