Hi, pushed this with minor modifications. Thanks a lot for your work, Philipp! I hope you weren't already on this, Lionel... if yes, sorry.
Astron. _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice
