From: Ismaël Bouya <ismael.bouya@normalesup.org>
Date: Wed, 16 Oct 2019 11:49:10 +0000 (+0200)
Subject: Add some tools to immae-eu env
X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=4fa343dcd0b797d765ee8a3dfc14833d212b7491;hp=4fa343dcd0b797d765ee8a3dfc14833d212b7491;p=perso%2FImmae%2FConfig%2FNix%2FNUR.git

Add some tools to immae-eu env
---