Thanks very much. Sorry I missed that earlier communication. It is working
great.
Jeff
On Jun 15, 2022, 4:31 PM -0500, Christiaan Hofman , wrote:
On 15 Jun 2022, at 18:59, Bullard, Jeff via Bibdesk-users
wrote: I am a Bibdesk user for many
years. I don’t know much if anything about the way
> On 15 Jun 2022, at 18:59, Bullard, Jeff via Bibdesk-users
> wrote:
>
> I am a Bibdesk user for many years. I don’t know much if anything about the
> way it works under the hood. I can’t pinpoint exactly when it happened, but
> surely within the last two weeks, but it no longer works for