[Rock-dev] [rock] #224: autoproj: installing an unknown package quits autoproj with no error message

[rock]

#224: autoproj: installing an unknown package quits autoproj with no error
message
----------------------------+------------------------------------
 Reporter:  Alexander.Duda  |       Owner:  rock-dev-mailing-list
     Type:  defect          |      Status:  closed
 Priority:  normal          |   Milestone:
Component:  base            |  Resolution:  fixed
 Keywords:                  |
----------------------------+------------------------------------
Changes (by sylvain.joyeux):

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


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