gnome:extensions:prefs.js
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
gnome:extensions:prefs.js [2022/07/23 12:05] – 194.32.120.89 | gnome:extensions:prefs.js [2022/07/23 12:25] (current) – 194.32.120.105 | ||
---|---|---|---|
Line 155: | Line 155: | ||
---- | ---- | ||
+ | ===== Preferences ===== | ||
+ | https:// | ||
+ | |||
+ | https:// |
gnome/extensions/prefs.js.1658577946.txt.gz · Last modified: 2022/07/23 12:05 by 194.32.120.89