On 07/12/2010 05:43 PM, Vincent van Ravesteijn wrote:
Op 12-7-2010 20:05, Richard Heck schreef:

Changing LaTeXUi.ui causes recompilation of GuiBranch.o and GuiIndices.o. Is that right?

rh

Fixed in trunk at r34882.

Thanks.

rh

Reply via email to