metis/.envrc at 24b556526354b6af4a2c81002d09b041f7ae16f5 - DGNum/metis - Forge git de la DGNum

DGNum/metis

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

Raw Blame History

use nix