This website requires JavaScript.
Explore
Help
Register
Sign in
DGNum
/
metis
Watch
17
Star
2
Fork
You've already forked metis
1
Code
Issues
12
Pull requests
3
Projects
Releases
Packages
Wiki
Activity
505f15372d
metis
/
.envrc
2 lines
8 B
Text
Raw
Normal View
History
Unescape
Escape
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