diff options
author | Daniel Smith <rdnlsmith@gmail.com> | 2020-07-19 14:35:13 -0400 |
---|---|---|
committer | Daniel Smith <rdnlsmith@gmail.com> | 2020-07-19 14:49:13 -0400 |
commit | 3e6892367cd492afaea05485172d500a624db66d (patch) | |
tree | e7d8327f330b8b54e1496121c04d6c47fce9bd0c /res/Capture d'écran de 2017-07-05 23-01-01.png | |
parent | b76eaafa2fcc6748c19e94fcb6548bcd465978cd (diff) |
Rename United Ubuntu -> United GNOME
United GNOME is apparently the actual name of the corresponding GTK
theme.
Keeping United Ubuntu as an alias until the v2.0 release so as not to
break existing configs.
Diffstat (limited to 'res/Capture d'écran de 2017-07-05 23-01-01.png')
0 files changed, 0 insertions, 0 deletions