From: Ismaël Bouya <ismael.bouya@normalesup.org>
Date: Fri, 24 Apr 2020 22:03:52 +0000 (+0200)
Subject: Use fetchgit rather than builtins
X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=c54f73c385dcdb7458759b36b62fa0e6895a30d7;hp=c54f73c385dcdb7458759b36b62fa0e6895a30d7;p=perso%2FImmae%2FConfig%2FNix.git

Use fetchgit rather than builtins
---