New Version of Mojave
A new version of Mojave, the Eclipse IDE plug-in for Cactus, has been released. The new version features a MakeThorn option as well as an option to clean up after a run.
A new version of Mojave, the Eclipse IDE plug-in for Cactus, has been released. The new version features a MakeThorn option as well as an option to clean up after a run.