ajout de zeal (explorateur de doc offline)

2016-07-13 16:58:31 +02:00
parent 3180832a1f
commit a5f3e7f87d
1 changed files with 3 additions and 0 deletions
--- a/app-dev.nix
+++ b/app-dev.nix
@@ -14,6 +14,9 @@
    idea.idea-community
    gcc           # pour les appels depuis les scripts

+    # Documentation
+    zeal
+
    ## Gestion des sources
    # git       # déjà présent dans "base"
    git-cola