[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[patch] @ruser instead of @usermanref

From: Graham Percival
Subject: [patch] @ruser instead of @usermanref
Date: Tue, 25 Sep 2007 12:25:10 -0700
User-agent: Icedove (X11/20070607)

Could somebody apply git patch
to master? We now user @ruser to link to the user manual, instead of @usermanref.

(most GDP stuff won't be merged with master for a long time, but since these are distributed with the binary, it'll be a lot easier for us if the binary is updated with these)

- Graham

reply via email to

[Prev in Thread] Current Thread [Next in Thread]