3 ms·
FWIW we (Sourcegraph) have updated our IntellIJ IDEA plugin: https://plugins.jetbrains.com/plugin/9682-sourcegraph https://plugins.jetbrains.com/plugin/9682-sou
by jdorfman 4y ago
FWIW we (Sourcegraph) have updated our IntellIJ IDEA plugin: https://plugins.jetbrains.com/plugin/9682-sourcegraph https://plugins.jetbrains.com/plugin/9682-sourcegraph