applications
|
Merge pull request #237895 from emilytrau/tart
|
2023-07-02 11:37:49 +02:00 |
data
|
Merge pull request #240999 from NickCao/dbip
|
2023-07-02 15:32:19 +08:00 |
desktops
|
Merge pull request #240927 from bobby285271/upd/gnome
|
2023-07-01 23:21:07 +02:00 |
servers
|
xorg.*: prefer mirror://xorg urls
|
2023-07-02 17:16:59 +08:00 |
stdenv
|
Merge pull request #239005 from Artturin/setorfunoverr
|
2023-07-01 15:27:23 +02:00 |
test
|
Merge pull request #239005 from Artturin/setorfunoverr
|
2023-07-01 15:27:23 +02:00 |
tools
|
erdtree: 3.1.1 -> 3.1.2
|
2023-07-02 09:24:49 -04:00 |