[PATCH]Edit bookmarks name
Dirk Hohndel
dirk at hohndel.org
Sat Mar 29 14:33:01 PDT 2014
no patch included / attached
/D
On Mar 28, 2014, at 2:54 PM, Yosef Hamza <jo.adam.93 at gmail.com> wrote:
> This patch add the ability to change bookmarks name to more meaningful names for the user -if wishes-
> _______________________________________________
> subsurface mailing list
> subsurface at hohndel.org
> http://lists.hohndel.org/cgi-bin/mailman/listinfo/subsurface
More information about the subsurface
mailing list