Hacker News new | ask | show | jobs
by conradfr 4338 days ago
FWIW you may have been able to restore the deleted folder using Local History.