• Robbert Krebbers's avatar
    Consistently de-capitalize acronyms. · a3028b92
    Robbert Krebbers authored
    Rename `UCMRA` → `Ucmra`
    Rename `CMRA` → `Cmra`
    Rename `OFE` → `Ofe` (`Ofe` was already used partially, but many occurences were missing)
    Rename `STS` → `Sts`
    Rename `DRA` → `Dra`
    a3028b92
list.v 19.1 KB