3 ms·Do you tell developers which IDE they have to use?by verdverm 7mo agoDo you tell developers which IDE they have to use?