adapt docker files to be supported by the theia version of the tooling#23

Open

ipa-nhg wants to merge 2 commits intomainfrom theia

+10-6

Commits on Nov 26, 2021

Merge pull request #21 from ipa-hsd/wiki_reader
ipa-nhg
authored

Commits on Dec 8, 2021

adapt docker files to be supported by the theia version of the tooling
ipa-nhg
committed