Rangi 6ca82e5c86 Eliminate enum: use const instead, with case-by-case parallel const implementations

2020-07-08 15:30:23 -04:00

..

mobile

Eliminate enum: use const instead, with case-by-case parallel const implementations

2020-07-08 15:30:23 -04:00