El
Cuartel Diego Salinas, data del siglo XVIII, punto de envío
a los conflictos en el Norte de África, fue uno de
los más grandes de su época.
El Regimiento PAVIA 19 fue el último en ocupar las
dependencias de este cuartel que cerró sus puertas
en 1995. Diego Salinas fue el gobernador militar que defendió
Gibraltar cuando fue ocupada la plaza por los ingleses.