This website requires JavaScript.
Explore
Help
Sign In
raito
/
shared-public-infra
Watch
0
Star
1
Fork
You've already forked shared-public-infra
3
Code
Issues
Pull requests
1
Packages
Projects
Releases
Wiki
Activity
103
commits
6
branches
0
tags
289
KiB
0a1d7fe2e1
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