David Birks
|
b1680e3f71
|
gnomeExtensions.material-shell: 9 -> 10 (#103628)
|
2020-11-12 18:13:46 -05:00 |
|
David Birks
|
e24e104f42
|
material-shell: 8 -> 9 (#102286)
|
2020-11-06 11:18:18 -05:00 |
|
David Birks
|
579daedfca
|
material-shell: 7 -> 8 (#101427)
And removed the patch that is now included in release 8.
|
2020-10-23 18:47:45 -04:00 |
Benjamin Staffin
|
2452fcddaf
|
material-shell: add patch to fix font scaling (#99878)
|
2020-10-06 13:00:43 -04:00 |
|
Benjamin Staffin
|
60905342a6
|
material-shell: 6 -> 7 (#99309)
|
2020-10-02 13:48:42 -04:00 |
|
Benjamin Staffin
|
703f052de1
|
material-shell: init at v6 (#98899)
|
2020-09-29 18:38:45 -04:00 |