If that's the first time it happened there probably wasn't any major damage caused. Grinding gears is something we all do, no matter how long we've been driving a manual gearbox.