Have the Florida Gators ever played the Texas Longhorns?

The Longhorns and Gators have played three times, in 1924, 1939, and 1940. Texas won two of the games and the other game ended in a tie.