Adriaan de Groot 70adf71359 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.		2022-05-19 10:06:19 +02:00
..
files	editors/diamond: update to latest upstream release	2022-05-19 10:06:19 +02:00
distinfo	editors/diamond: update to latest upstream release	2022-05-19 10:06:19 +02:00
Makefile	editors/diamond: update to latest upstream release	2022-05-19 10:06:19 +02:00
pkg-descr
pkg-plist