> On Oct 27, 2016, at 09:05, Zvi Biener <zvistr...@gmail.com> wrote: > > I will keep an eye on them and report when they are deleted
They may have been deleted if you upgraded your OS. Otherwise, running some kind of cache cleaner is the only thing that might do it. ------------------------------------------------------------------------------ The Command Line: Reinvented for Modern Developers Did the resurgence of CLI tooling catch you by surprise? Reconnect with the command line and become more productive. Learn the new .NET and ASP.NET CLI. Get your free copy! http://sdm.link/telerik _______________________________________________ Bibdesk-users mailing list Bibdesk-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/bibdesk-users
