5 ms·As long as everyone has the same linters, what does it matter what editors they use?by sakarisson 8y agoAs long as everyone has the same linters, what does it matter what editors they use?