forked from DGNum/metis
tomate
26ccb5dcc9
Co-authored-by: Tom Hubrecht <tom.hubrecht@ens.fr> Reviewed-on: https://git.rz.ens.wtf/Klub-RZ/metis/pulls/51 Co-authored-by: tomate <tom.hubrecht@ens.fr> Co-committed-by: tomate <tom.hubrecht@ens.fr>
1 line
8 B
Bash
1 line
8 B
Bash
use nix
|