Can you please also see if we can set tab size to 4 spaces? On Sat, Jul 18, 2020 at 10:08 AM Peter Kovacs <pe...@apache.org> wrote:
> I have admin access. I will look into it asap. > > > Am 16.07.20 um 11:42 schrieb Matthias Seidel: > > Hi all, > > > > Our OpenGrok server needs some attention: > > http://openoffice-vm1-he-de.apache.org/ > > > > The index was last updated on Wednesday June 10. > > > > I would also like to have it available under something like: > > https://opengrok.openoffice.org. > > > > Does anyone have administrative access? > > > > Subdomain/certificate would be a task for Infra? > > > > Regards, > > > > Matthias > > > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org > For additional commands, e-mail: dev-h...@openoffice.apache.org > >
