|
|
eb122a79cc
|
grm: Update github config
|
2024-05-28 23:56:12 +02:00 |
|
|
|
d9841e5858
|
Remove project list
|
2024-05-28 17:06:15 +02:00 |
|
|
|
42e296b30d
|
Update grm config
|
2023-05-30 20:26:40 +02:00 |
|
|
|
916d67d22f
|
repos: Fix a few URLs
|
2022-06-29 17:58:27 +02:00 |
|
|
|
eb07b67107
|
Update personal repo configuration
|
2022-06-29 17:58:26 +02:00 |
|
|
|
1ae605a52a
|
Add personal repository configuration
|
2022-06-29 17:58:26 +02:00 |
|
