Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
devtools [2020/06/23 20:36] luc |
devtools [2020/06/23 20:37] (Version actuelle) luc |
||
---|---|---|---|
Ligne 4: | Ligne 4: | ||
* [[git]], le gestionnaire de version | * [[git]], le gestionnaire de version | ||
- | * [[gitlist]], une vue web sur un ensemble | + | * [[gogs]], un gestionnaire |
* [[docker]], pour le déploiement d' | * [[docker]], pour le déploiement d' | ||