-%% Translation of GIT committish: 8b93de6ce951b7b14bc7818f31019524295b990f
- texidoces = "
-Cuando se produce un cambio de clave, el símbolo de clave se imprime a
-un tamaño menor que la clave inicial. Esto se puede ajustar con
-@code{full-size-change}.
-
-"
- doctitlees = "Mantener el tamaño del símbolo en los cambios de clave"
-
-
-