Overview
| Comment: | gnome-terminal: Make text slightly darker
This allows to distinguish it better from bold text. |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
b1ef7793c212f0d78594006d45a14e5d |
| User & Date: | js on 2024-09-01 17:18:00 |
| Other Links: | manifest | tags |
Context
|
2024-09-21
| ||
| 22:54 | Update keyring check-in: b01a7b44c0 user: js tags: trunk | |
|
2024-09-01
| ||
| 17:18 | gnome-terminal: Make text slightly darker check-in: b1ef7793c2 user: js tags: trunk | |
|
2024-08-18
| ||
| 16:46 | setup.sh: Unset local autosync check-in: 959dca6ec3 user: js tags: trunk | |
Changes
Modified dconf/gnome-terminal from [64a603c107] to [d707ccf3b5]. [diff]