2 check-ins that include changes to files matching 'dconf/*'
2023-05-28
| ||
11:40 | Update gnome-terminal profile check-in: 4d3df85dbc user: js tags: trunk | |
2023-04-29
| ||
23:06 | Include some GNOME settings check-in: 5c42e9b43e user: js tags: trunk | |