Change font - PT Mono - free from Google Fonts
Versión del día 08/06/2023. Echa un vistazo a la versión más reciente.
A continuación se muestran las versiones de este script en las que se actualizó el código. Ver todas las versiones.
Ver todas las versiones del script.
