Re: git: b071a62b5e75 - main - editors:diamond: new port, CopperSpice-based editor
Date: Mon, 21 Feb 2022 13:09:44 UTC
On Monday, 21 February 2022 13:02:06 CET Joseph Mingrone wrote: > On Sun, 2022-02-20 at 15:45, Adriaan de Groot <adridg@FreeBSD.org> wrote: > > The branch main has been updated by adridg: > > editors:diamond: new port, CopperSpice-based editor > Hello Adriaan, > > There is already a port with this name. > > jrm@phe /usr/ports [main|✔] % make -C biology/diamond -VPORTNAME -VPKGBASE > diamond > diamond Thanks for pointing that out. I hadn't thought about looking in other category-directories. It'll land shortly. [ade]