Translations:GCC optimization/72/es

El Manual del Desarrollador de Gentoo indica dónde y cómo funciona el filtrado y reemplazo de opciones.