• Kotsi3P0
    link
    fedilink
    arrow-up
    8
    ·
    1 year ago

    You can install most of the extension that aren’t included straight up in the Extensions tab, it’s just a little inconvenient. And yes I’m using Codium.