RE: [Discussion] Increase font size in AOO help?

Thank You!;) -Original Message- From: Matthias Seidel [mailto:matthias.sei...@hamburg.de] Sent: Tuesday, July 24, 2018 4:41 AM To: dev@openoffice.apache.org Subject: Re: [Discussion] Increase font size in AOO help? Hi all! Am 22.07.2018 um 23:49 schrieb Kay Schenk: > > On

Re: [Discussion] Increase font size in AOO help?

Hi all! Am 22.07.2018 um 23:49 schrieb Kay Schenk: > > On 07/21/2018 02:04 PM, Matthias Seidel wrote: >> Hi all, >> >> Am 21.07.2018 um 16:51 schrieb Matthias Seidel: >>> Am 21.07.2018 um 16:28 schrieb Marcus: Am 21.07.2018 um 10:57 schrieb Matthias Seidel: > Maybe it is just me

RE: download from a mirror?

> From: Dave Fisher [mailto:dave2w...@comcast.net] > Sent: Monday, July 23, 2018 10:07 PM > To: dev@openoffice.apache.org > Subject: Re: download from a mirror? > The scripts for dist.apache.org/release that sync up Apache > releases to the mirrors fully exclude the OpenOffice > directory.