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 [2015/12/06 22:10] 127.0.0.1 modification externe |
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' | ||
=== Debugger et outils de développement === | === Debugger et outils de développement === | ||
Ligne 34: | Ligne 35: | ||
* cmake = autoconf + automake ? | * cmake = autoconf + automake ? | ||
+ | == LATEX == | ||
+ | * '' | ||