Skip to content

Do not fail when java is available but jmol is not.#36769

Merged
vbraun merged 1 commit intosagemath:developfrom tornaria:fix-missing-jmolDec 14, 2023
+44-4

Commits

Commits on Dec 4, 2023