Re: [Playerstage-developers] missing file in cvs

[Richard v. <va...@cs...>]

On 17-Oct-05, at 2:48 AM, Brad Kratochvil wrote:

> I think someone forgot to add dev_gripper to playerv in cvs.

Oops, that was me, sorry. Fixed now.

Richard