DGNum/metis
13
1
Fork 1
Code Issues 12 Pull requests 3 Packages Projects Releases Wiki Activity
metis/.envrc

2 lines
8 B
Plaintext
Raw Normal View History

Rajoute la banda et DDR (#51) 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>
2022-09-12 13:30:29 +02:00
use nix
Reference in a new issue Copy permalink