Re: Our OpenGrok server

2020-07-31 Thread Matthias Seidel
>>> >>>> On Sat, Jul 18, 2020 at 10:08 AM Peter Kovacs >>>> wrote: >>>> >>>>> I have admin access. I will look into it asap. >>>>> >>>>> >>>>> Am 16.07.20 um 11:42 schrieb Matthias Seidel: >

Re: Our OpenGrok server

2020-07-31 Thread Peter Kovacs
to 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. D

Re: Our OpenGrok server

2020-07-18 Thread Matthias Seidel
please also see if we can set tab size to 4 spaces? >> >> On Sat, Jul 18, 2020 at 10:08 AM Peter Kovacs wrote: >> >>> I have admin access. I will look into it asap. >>> >>> >>> Am 16.07.20 um 11:42 schrieb Matthias Seidel: >>>> Hi al

Re: Our OpenGrok server

2020-07-18 Thread Matthias Seidel
please also see if we can set tab size to 4 spaces? >> >> On Sat, Jul 18, 2020 at 10:08 AM Peter Kovacs wrote: >> >>> I have admin access. I will look into it asap. >>> >>> >>> Am 16.07.20 um 11:42 schrieb Matthias Seidel: >>>>

Re: Our OpenGrok server

2020-07-18 Thread Peter Kovacs
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

Re: Our OpenGrok server

2020-07-18 Thread Damjan Jovanovic
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 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

Re: Our OpenGrok server

2020-07-18 Thread Peter Kovacs
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

Our OpenGrok server

2020-07-16 Thread 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