[Rock-dev] [rock] #451: Suport for Ubuntu 14.04

[rock]

#451: Suport for Ubuntu 14.04
-------------------------+------------------
 Reporter:  jama01       |       Owner:
     Type:  enhancement  |      Status:  new
 Priority:  major        |   Milestone:
Component:  base         |  Resolution:
 Keywords:               |
-------------------------+------------------

Comment (by stpl01):

 The DFKI buildserver now uses 14.04 as Ubuntu_current configuration

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