Revoga o Decreto-lei nº 4.937, de 9 de novembro de 1942 e dá outras providências.