metis/.envrc
tomate 26ccb5dcc9 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

1 line
8 B
Bash