Real Decreto 1829/1980, de 8 de septiembre, por el que se nombra Comandante general de Ceuta al General de División del Ejército don Gerardo Mariñas Romero.
Publicado en:
«BOE» núm. 220, de 12 de septiembre de 1980, páginas 20494 a 20494 (1 pág.)
Sección:
II. Autoridades y personal - Nombramientos, situaciones e incidencias