Not necessarily the right thing to do, but I'd go for a light run - short & slow (less than 3mi) - to warm/loosen them up, and then give them a good stretch (at least 30 secs each muscle). And if you didn't, I would have stretched before & after the game, too.

I should qualify this by saying I've hardly run since November because of injury. You might like to avoid the advice of someone who can't take care of themselves!!