Derroga o art. 30 do Decreto-lei número 5.625, de 28 de junho de 1943, referente ao magistério militar.