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 | |
|
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 | |