Re: [Playerstage-developers] Stage 1.4 development now on HEAD

Hi Richard: Does Player still have the old stage stuff in it? (if I
configure with --enable-stage --disable-stage1p4)
reed
On Tuesday, August 19, 2003, at 07:10 PM, Richard Vaughan wrote:
>
> Folks,
>
> Be warned that developent of Stage 1.4 has now moved to cvs HEAD from
> the
> stage-dynamic-server branch.
>
> This is a pretty drastic change. HEAD is now a way off prime-time and
> works quite differently than Stage-1.3 - it's more like Gazebo's way of
> working.
>
> Right before the big commit, I tagged HEAD with 'HEAD-pre-sds-merge'.
>
> Now for the 1.4 release push!
>
> Richard.
>
> --
> Richard Vaughan / HRL Laboratories / vaughan@... / +1 310.317.5689
>
>
>
> -------------------------------------------------------
> This SF.net email is sponsored by Dice.com.
> Did you know that Dice has over 25,000 tech jobs available today? From
> careers in IT to Engineering to Tech Sales, Dice has tech jobs from the
> best hiring companies. http://www.dice.com/index.epl?rel_code=104
> _______________________________________________
> Playerstage-developers mailing list
> Playerstage-developers@...
> https://lists.sourceforge.net/lists/listinfo/playerstage-developers
>

Thread view

Hi Richard: Does Player still have the old stage stuff in it? (if I
configure with --enable-stage --disable-stage1p4)
reed
On Tuesday, August 19, 2003, at 07:10 PM, Richard Vaughan wrote:
>
> Folks,
>
> Be warned that developent of Stage 1.4 has now moved to cvs HEAD from
> the
> stage-dynamic-server branch.
>
> This is a pretty drastic change. HEAD is now a way off prime-time and
> works quite differently than Stage-1.3 - it's more like Gazebo's way of
> working.
>
> Right before the big commit, I tagged HEAD with 'HEAD-pre-sds-merge'.
>
> Now for the 1.4 release push!
>
> Richard.
>
> --
> Richard Vaughan / HRL Laboratories / vaughan@... / +1 310.317.5689
>
>
>
> -------------------------------------------------------
> This SF.net email is sponsored by Dice.com.
> Did you know that Dice has over 25,000 tech jobs available today? From
> careers in IT to Engineering to Tech Sales, Dice has tech jobs from the
> best hiring companies. http://www.dice.com/index.epl?rel_code=104
> _______________________________________________
> Playerstage-developers mailing list
> Playerstage-developers@...
> https://lists.sourceforge.net/lists/listinfo/playerstage-developers
>