• Jason Rhinelander's avatar
    De-prefix eris_id_t and eris_time_t · 4d881c7e
    Jason Rhinelander authored
    This lets external code use `eris::id_t` and `eris::time_t` which is
    far nicer than `eris::eris_id_t`.
    
    The existing `eris_id_t` and `eris_time_t` are kept as deprecated
    aliases for the new ones.
    4d881c7e