Re: [patch] fix doc_toc.py documentation bug 3798

2007-07-18 Thread Uwe Stöhr
>> Can this go in José? > Yes. Done: http://www.lyx.org/trac/changeset/19122 Uwe

Re: [patch] fix doc_toc.py documentation bug 3798

2007-07-18 Thread José Matos
On Wednesday 18 July 2007 00:25:18 Uwe Stöhr wrote: > Can this go in José? Yes. > regards Uwe -- José Abílio