j
k
j a
j l
On Fri, May 25, 2012 at 9:47 AM, Philipp Gesang wrote:
This works alright now, the error is gone after an update. Big thanks to everybody involved.
It's ok also here (Linux Ubuntu 10.04 LTS, 32bit) And latest tlmgr is fixed. -- luigi
Back to the thread
Back to the list
