summaryrefslogtreecommitdiff
path: root/Omni/Id.hs
AgeCommit message (Collapse)Author
4 daysRe-namespace some stuff to OmniBen Sima
I was getting confused about what is a product and what is internal infrastructure; I think it is good to keep those things separate. So I moved a bunch of stuff to an Omni namespace, actually most stuff went there. Only things that are explicitly external products are still in the Biz namespace.