Don't criple git repository.
authorFrantišek Dvořák <valtri@civ.zcu.cz>
Fri, 14 Mar 2014 13:50:12 +0000 (14:50 +0100)
committerFrantišek Dvořák <valtri@civ.zcu.cz>
Fri, 14 Mar 2014 13:50:12 +0000 (14:50 +0100)
commit26dd7e3e1016390f87c0487a9dd86c0f1fd9ceb8
tree5e2bf9a00f8b9641943f511a790c359cc4d134f2
parent194c42c465e1bf9a52c9fbcef049c8e0a4722507
Don't criple git repository.
rocci-server/gen-rocci-server.sh