Fixes (remove requirement for :developemnt) and updates (patch to config files in...
authorFrantišek Dvořák <valtri@civ.zcu.cz>
Thu, 13 Mar 2014 17:02:42 +0000 (18:02 +0100)
committerFrantišek Dvořák <valtri@civ.zcu.cz>
Thu, 13 Mar 2014 17:02:42 +0000 (18:02 +0100)
commitcf59cd86ea1fb6f8ca32d196d70bb206f8e4b019
treeaa055d13669322a169db9109429f9def12888bfc
parenta7d495ef095ad14ed991f5f26239f0b5ac1a064e
Fixes (remove requirement for :developemnt) and updates (patch to config files in git).
rocci-server/debian/patches/config.patch [deleted file]
rocci-server/debian/patches/series
rocci-server/debian/patches/unbundle-all.patch
rocci-server/debian/rocci-server.install