Closed rvdb closed 5 years ago
…Oxygen:
-older Oxygen: include ${oxygenHome}/lib/jeuclid-core.jar -from Oxygen-21: include ${oxygenHome}/lib/oxygen-patched-*.jar
…Oxygen:
-older Oxygen: include ${oxygenHome}/lib/jeuclid-core.jar -from Oxygen-21: include ${oxygenHome}/lib/oxygen-patched-*.jar