This website requires JavaScript.
Explore
Help
Sign In
jade
/
raito-shared-public-infra
Watch
0
Star
0
Fork
You've already forked raito-shared-public-infra
0
forked from
raito/shared-public-infra
Code
Pull requests
Activity
50
commits
6
branches
0
tags
208
KiB
aaef0b57ee
Commit graph
2 commits
Author
SHA1
Message
Date
raito
7fd10c28cb
zsh: use grml configuration by default
2023-07-01 13:00:07 +02:00
raito
107cc6e53f
infra: steal from the best
...
(Mic92's cluster TUM's infra.)
2023-06-05 19:25:23 +02:00