Defence in depth for adding directories to the zip#3309

vmcj merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

vmcj:mathjax_dir_to_zipvmcj/domjudge:mathjax_dir_to_zipCopy head branch name to clipboard