My normal workflow is:
go through pictures in library, hit X on the ones I want to delete. Then hit command+Backspace to delete them all also from the disk.
Yesterday, I was working on the train on some pictures that I had back home on my external drive. So I hit X on the ones I want to delete and then unfortunately hit command+Backspace. So now the pictures are only gone in my library but not on the disk.
How can I delete them on the disk now? "Sync folder" just works the other way around (import those again to the catalog which I deleted).
Any ideas so that I have not do that all manually?