File:Previous flag of Texas.svg