Improve rocci-server package generating.
authorFrantišek Dvořák <valtri@civ.zcu.cz>
Tue, 11 Mar 2014 15:30:18 +0000 (16:30 +0100)
committerFrantišek Dvořák <valtri@civ.zcu.cz>
Tue, 11 Mar 2014 16:51:48 +0000 (17:51 +0100)
commit83b421f718c0dea3641980f2b7f031222cfd16fa
tree569b4be3682157ca3db7dfe07542d71b9d78cb86
parentf75c10d561a47c7230155830c289152d0251341b
Improve rocci-server package generating.
rocci-server/gen-rocci-server.sh