Skip to content
Snippets Groups Projects

Fluxio preliminary release

Merged Fluxio preliminary release
fluxio/dev into master
Merged Moritz Gleissner requested to merge fluxio/dev into master
Viewing commit 8c256195
Show latest version
1 file
+ 1
− 1
Compare changes
  • Side-by-side
  • Inline
source/RobotAPI/interface/skills/SkillManagerInterface.ice
+ 1
− 1
@@ -103,7 +103,7 @@ module armarx
{
string message;
string type;
Ice::stringSeq contextList;
Ice::StringSeq contextList;
};
sequence<dto::FluxioIdentificator> FluxioIdentificatorList;