Florian Müllner
|
150a640c66
|
data: Document org.gnome.Shell.Extensions interface
It is used by at least Software, Tweaks and the webextension, so it's
a bit odd to install documentation for lesser used interfaces but not
this one ...
https://gitlab.gnome.org/GNOME/gnome-shell/issues/537
|
2018-09-17 07:34:49 +00:00 |
|