raito/shared-public-infra
0
1
Fork 3
Code Issues Pull requests 1 Packages Projects Releases Wiki Activity
5 commits 6 branches 0 tags 289 KiB
Commit graph

2 commits

Author SHA1 Message Date
raito f6c1177c38 infra: init vieuxtype.infra.newtype.fr 2023-06-05 20:15:44 +02:00
raito 107cc6e53f infra: steal from the best 
(Mic92's cluster TUM's infra.)
 2023-06-05 19:25:23 +02:00