“Dispõe sobre o horário de funcionamento das repartições públicas no feriado do dia 15 de novembro e nos dias 16 e 17 novembro.”