]> git.immae.eu Git - perso/Immae/Config/Nix.git/commitdiff
Augment timeout in devtools
authorIsmaël Bouya <ismael.bouya@normalesup.org>
Fri, 20 Dec 2019 00:55:50 +0000 (01:55 +0100)
committerIsmaël Bouya <ismael.bouya@normalesup.org>
Fri, 20 Dec 2019 03:12:31 +0000 (04:12 +0100)

No differences found