Skip to content

Cleanup for travis build#15

Merged
rctoris merged 3 commits intoRobotWebTools:develfrom
rctoris:devel
Apr 26, 2013
Merged

Cleanup for travis build#15
rctoris merged 3 commits intoRobotWebTools:develfrom
rctoris:devel

Conversation

@rctoris
Copy link
Copy Markdown
Contributor

@rctoris rctoris commented Apr 26, 2013

Also had current map emit with change.

rctoris pushed a commit that referenced this pull request Apr 26, 2013
Cleanup for travis build
@rctoris rctoris merged commit c583f81 into RobotWebTools:devel Apr 26, 2013
@ghost ghost assigned rctoris May 7, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant