[Rock-dev] [rock] #431: Autoproj: git clones do not include submodules

[rock]

#431: Autoproj: git clones do not include submodules
-------------------------+------------------------------------
 Reporter:  stpl01       |       Owner:  rock-dev-mailing-list
     Type:  enhancement  |      Status:  new
 Priority:  minor        |   Milestone:
Component:  toolchain    |  Resolution:
 Keywords:               |
-------------------------+------------------------------------

Comment (by stpl01):

 Merge request pending

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