source catkin ws
Aberta
- Linguagem predominante
- Python
- Estrelas
- 7
- Forks
- 1
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Descrição
the catkin workspace in /code does not seem to be automatically sourced by the entrypoint, the file `setup.sh` takes care of it now, but it should be done by the entrypoint.
Guia de contribuição
Nenhum guia de contribuição indexado para este repositório
Avaliação
Esta issue ainda não foi avaliada.