désactivation gitg

2017-03-13 23:55:34 +01:00
parent c3c7581a3e
commit 5a7ad25615
1 changed files with 1 additions and 1 deletions
--- a/public/app-developpement.nix
+++ b/public/app-developpement.nix
@@ -24,7 +24,7 @@ mkIf cfg.developpement {
    # Gestion des sources
    cloc                # outil pour compter les lignes de code source
    git                 # déjà présent dans "base"
-    gitg                # interface pour utiliser git (historique, commit)
+    #gitg               # interface pour utiliser git (historique, commit)
    gitstats            # génère un site web statique avec des statistiques
    gitAndTools.gitFull # pour gitk
    git-cola            # interface pour utiliser git (historique, commit)