Decreto Nº 5.237 – Dispõe sobre ponto facultativo nas repartições públicas municipais e da outras providências.