[Rock-dev] [rock] #160: autoproj update --local

[rock]

#160: autoproj update --local
-------------------------+------------------------------------
 Reporter:  jama01       |       Owner:  rock-dev-mailing-list
     Type:  enhancement  |      Status:  closed
 Priority:  normal       |   Milestone:
Component:  toolchain    |  Resolution:  fixed
 Keywords:               |
-------------------------+------------------------------------
Changes (by mago02):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 Implemented and created merge request:

 https://gitorious.org/autoproj/autobuild/merge_requests/1
 https://gitorious.org/autoproj/autoproj/merge_requests/3

 I close this ticket here, comments should now be done on the merge-
 requests

-- 
Ticket URL: <https://rock.opendfki.de/ticket/160#comment:1>
rock <https://rock.opendfki.de>
rock: the robot construction kit