Hey Luc,
On Mon, 29 Apr 2013 18:19:35 +0300
Luc Pionchon wrote:
> Hello,
>
> I am wondering how to install a local help page so that it integrates with
> the system help. Especially in the context of user plugin help page. But
> this could be for any user help page with links to/from the system
On 30 April 2013 16:04, Petr Kovar wrote:
> Hey Luc,
>
Hey Petr,
On Mon, 29 Apr 2013 18:19:35 +0300
> Luc Pionchon wrote:
>
> > Hello,
> >
> > I am wondering how to install a local help page so that it integrates
> with
> > the system help. Especially in the context of user plugin help page.
The branch 'gnome-3-8' was created pointing to:
e90f485... Release version 3.8.0
___
gnome-doc-list mailing list
gnome-doc-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-doc-list
The branch 'gnome-3-8' was created pointing to:
4c0b5cd... Release version 3.8.1
___
gnome-doc-list mailing list
gnome-doc-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-doc-list
The branch 'gnome-3-8' was created pointing to:
27b5178... Updated Lithuanian translation
___
gnome-doc-list mailing list
gnome-doc-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-doc-list
The branch 'gnome-3-8' was created pointing to:
513d449... Updated Spanish translation
___
gnome-doc-list mailing list
gnome-doc-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-doc-list
The branch 'gnome-3-8' was created pointing to:
4e03093... Determine image format by extension instead of a fixed PNG
___
gnome-doc-list mailing list
gnome-doc-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-doc-list