TO BE REPLACE: Discussions about Docker + originally hard copy fixes / extensions for WW 2.15 branch + move Docker base image to Ubuntu 18.04 LTS#972

taniwallach wants to merge 2 commits into

openwebwork:WeBWorK-2.15openwebwork/webwork2:WeBWorK-2.15from

taniwallach:tani_reinsert_pdflatex_settingtaniwallach/webwork2:tani_reinsert_pdflatex_settingCopy head branch name to clipboard