Allows to customize the date format on the panel.
Why do you think that https://github.com/zhanghai/gnome-shell-extension-transparent-top-bar is a good alternative to gnome-shell-panel-date-format
Allows to customize the date format on the panel.
Why do you think that https://github.com/zhanghai/gnome-shell-extension-transparent-top-bar is a good alternative to gnome-shell-panel-date-format