Docker: brand the docker edition - Githubissues

cceh / ntg

Novum Testamentum Graecum

http://ntg.uni-muenster.de/

5 stars 6 forks source link

Docker: brand the docker edition #133

Closed MarcelloPerathoner closed 4 years ago

MarcelloPerathoner commented 4 years ago

Put a different branding on the "Docker" edition of the CBGM.