Skip to content
Commit 42a25600 authored by Emmanuel Duchastenier's avatar Emmanuel Duchastenier Committed by GitHub
Browse files

tr(docker): make it easier to generate logging.properties (#289)

that suits the docker version, as it is different from the distrib one.
For now, the version is copied, and any modification in the file must
be copied to the docker version.
With the proposed change, the docker version is generated from the
distrib version, with minor changes
parent f97da208
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment