Changed name to avoid conflict with the parent extension on extensions.gnome.org; nevertheless both extensions can not be installed at the same time, because the use the same schema
parent
733dcdb804
commit
f1d5fab761
Loading…
Reference in new issue