From: Ismaël Bouya <ismael.bouya@normalesup.org>
Date: Tue, 7 Apr 2020 21:03:54 +0000 (+0200)
Subject: Fix tools after upgrade
X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=0a15a68cf30ccf0adfc8f19fe61c78e6313ea003;hp=0a15a68cf30ccf0adfc8f19fe61c78e6313ea003;p=perso%2FImmae%2FConfig%2FNix%2FNUR.git

Fix tools after upgrade
---