From: Ismaël Bouya <ismael.bouya@normalesup.org>
Date: Sat, 25 May 2019 12:40:47 +0000 (+0200)
Subject: Fix pull_deployment script
X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;ds=sidebyside;h=2232653330cedd11ac2aa64bdac994137cb26e80;hp=2232653330cedd11ac2aa64bdac994137cb26e80;p=perso%2FImmae%2FConfig%2FNix.git

Fix pull_deployment script
---