Changes
Summary
- revert changes from r11812 because orxonox still requires cegui 0.7 at the moment
Change Type | Path in Repository | Path in Workspace |
---|---|---|
/build/dockerfiles/orxonox_build/Dockerfile | orxonox_build/Dockerfile | |
/build/dockerfiles/orxonox_jenkins-slave/Dockerfile | orxonox_jenkins-slave/Dockerfile |