Hola, este es un tuto corto para crear tu usuario en la wiki de ROS y empezar con la edición de documentos.
Vamos a la pagina de la wiki de ROS y vamos a crear un usuario...
tgarijo
rje1974
/ ROS_WIKI_USER.md
Created
January 30, 2021 11:43
Pasos para crear un usuario en la wiki de ROS
sabarasaba
/ gist:3080590
Created
July 10, 2012 02:19
Remove directory from remote repository after adding them to .gitignore
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| git rm -r --cached node_modules | |
| git commit -m 'Remove the now ignored directory node_modules' | |
| git push origin master |