Re: [gnome-es] gnome-shell-extensions - master

[Daniel Mustieles García <daniel mustieles gmail com>]

Gracias Benjamín,

Sigo teniendo pendiente escribir el manual, pero entre unas cosas y otras, lo voy dejando de lado :(

A ver si saco un rato y, cuando lo haga, incluiré la referencia al glosario

El 17 de febrero de 2012 11:26, Benjamín Valero Espinosa <benjavalero gmail com> escribió:

El 17 de febrero de 2012 10:50, escribió:

Revisado y corregido. Cambios:

ícono -> icono
hacer click -> pulsar

Daniel, aprovecho para agregar "icono" a nuestro no usado glosario, para el día en que vea la luz ;)

_______________________________________________
gnome-es-list mailing list
gnome-es-list gnome org
http://mail.gnome.org/mailman/listinfo/gnome-es-list