Change the dockerfile to support OpenGrok 1.1

OpenGrok / docker

WARNING: this repository is archived !

58 stars 31 forks source link

Closed tjwalton closed 5 years ago

vladak commented 5 years ago

Looks good to me. I will let the others comment in case I missed something.

vladak commented 5 years ago

Silence is golden, merging.