08:06 Adriaan de Groot (adridg) 

editors/diamond: update to latest upstream release

There are no release notes, but this incorporates at least
one compatibility fix that was added to ports as a patch previously.

    70adf71

10:42 Adriaan de Groot (adridg) 

editors/diamond: update to 1.3.7, latest upstream

This version is just a copyright-year update. I'm taking advantage
to follow Daniel Engberg's advice to use the upstream tarballs
rather than GitHub tarballs, even though the upstream tarballs
are, IMO, terrible.

While here, pull in a patch I wrote to avoid crashes on startup.

    e0e4186

15:45 Adriaan de Groot (adridg) 

editors:diamond: new port, CopperSpice-based editor

This needs patching to consider the installed location
(e.g. share/) as a source of data, rather than the installed
location of the binary.

    b071a62