Split 'nix/' into commit '891d6aee0f5eeb733173384a2a3e84203fb12654'
authorIsmaël Bouya <ismael.bouya@normalesup.org>
Sun, 5 May 2019 12:19:48 +0000 (14:19 +0200)
committerIsmaël Bouya <ismael.bouya@normalesup.org>
Sun, 5 May 2019 12:19:48 +0000 (14:19 +0200)
git-subtree-dir: nix
git-subtree-mainline: 91ec1606feb1cee01603f8190b93c2a6fd88cf83
git-subtree-split: 891d6aee0f5eeb733173384a2a3e84203fb12654


Trivial merge