Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2022-11-18 | gnomeExtensions.emoji-selecter: Use automatic package | piegames | 1 | -41/+0 |
2022-08-28 | gnomeExtensions.emoji-selector: 20 -> 22 | kilianar | 1 | -2/+2 |
2021-10-11 | Merge pull request #124773 from r-ryantm/auto-update/gnome-shell-extension-em... | Sandro | 1 | -2/+2 |
2021-07-14 | gnomeExtensions: integrate manually packaged extensions better with the others | piegames | 1 | -1/+4 |
2021-07-14 | gnomeExtensions: rename uuid field to extensionUuid | piegames | 1 | -3/+3 |
2021-05-28 | gnomeExtensions.emoji-selector: 19 -> 20 | R. RyanTM | 1 | -2/+2 |
2021-05-24 | gnomeExtensions: normalize pnames | Jan Tojnar | 1 | -1/+1 |
2021-05-08 | gnome: rename from gnome3 | Jan Tojnar | 1 | -0/+38 |