applications
|
gsound: rename from gnome3.gsound
|
2018-12-25 20:14:29 -05:00 |
data
|
Merge branch 'master' into staging
|
2018-12-24 15:02:29 +01:00 |
desktops
|
gsound: rename from gnome3.gsound
|
2018-12-25 20:14:29 -05:00 |
development
|
gsound: rename from gnome3.gsound
|
2018-12-25 20:14:29 -05:00 |
misc
|
Merge branch 'master' into staging
|
2018-12-25 17:03:57 +01:00 |
os-specific
|
Merge branch 'master' into staging
|
2018-12-25 17:03:57 +01:00 |
servers
|
Merge branch 'master' into staging
|
2018-12-24 15:02:29 +01:00 |
stdenv
|
Merge branch 'master' into staging
|
2018-12-25 17:03:57 +01:00 |
tools
|
gcr: rename from gnome3.gcr
|
2018-12-25 20:14:28 -05:00 |
top-level
|
gsound: rename from gnome3.gsound
|
2018-12-25 20:14:29 -05:00 |