Florian Müllner 360f5b1642 extensions-app: Add category in .desktop file ... Predefined categories aren't a great way for organizing installed applications, but they have their use in "stores" like Software or flathub. Not listing any category means we fall through the cracks, so pick the (hopefully) least inappropriate one ... https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1160		2020-04-05 11:02:00 +00:00
..
extensions-app	extensions-app: Add category in .desktop file	2020-04-05 11:02:00 +00:00
extensions-tool	build: Post-release version bump	2020-03-31 00:36:48 +02:00
gvc@ec5cf3e0de	gvc: Update submodule	2019-11-23 15:16:51 +01:00
shew	build: Post-release version bump	2020-03-31 00:36:48 +02:00