push.py File Reference

Go to the source code of this file.

Namespaces
	fetch_tools.commands.push

Functions
def	fetch_tools.commands.push.add_arguments (parser)
def	fetch_tools.commands.push.main (args)

Variables
string	fetch_tools.commands.push.help_text = "Push the workspace to the robot"
string	fetch_tools.commands.push.name = "push"