4 ms·Devctl, a handy way to manage many dev servers2 points by quantizor 2mo agodeleted 2mo ago[deleted]roymasad 2mo agogood actually actuallyquantizor 2mo agoThanks! Pushed a bunch of updates today.