- May 17, 2021
-
-
Andreas Gerlach authored
-
- Mar 30, 2021
-
-
Andreas Gerlach authored
[gnome] fix some terminal settings for upcoming GNOME 40, remove dash-to-panel for new GNOME shell experience
-
- Feb 28, 2021
-
- Feb 16, 2021
-
-
Andreas Gerlach authored
-
- May 25, 2020
-
-
Dan Johansen authored
-
- Nov 28, 2019
-
-
Ray Sherwin authored
-
- Nov 27, 2019
-
-
Ray Sherwin authored
-