Art. 9.o Para los efectos de la jubilacion se contará al rejente de la imprenta y a los tipógrafos, todo el tiempo que hayan prestado servicios a las órdenes de la Direccion Jeneral de Impuestos Internos.