Torsten Maehne ef86185d76 mars: Update to version 4.5.1 ...

The original MARS web site got moved to GitHub.
The patch for the jedit-based editor is dropped, as it is fixed upstream.
universalJavaApplicationStub replaces the JavaApplicationStube removed from macOS.

2026-05-19 07:22:53 -04:00

..

files

…

Portfile

…