source catkin ws
Abierto
- Lenguaje dominante
- Python
- Estrellas
- 7
- Forks
- 1
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
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.
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Evaluación
Este issue todavía no se ha evaluado.