diff options
| author | Daiderd Jordan <daiderd@gmail.com> | 2023-06-20 21:38:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-20 21:38:47 +0200 |
| commit | 681c152eea0d4f9f75c13813cd7c8474c769c260 (patch) | |
| tree | d79fc6e8d294cbcdd8b957ad410d80f9f589d03b /modules/programs/bash | |
| parent | 1b57241a7b36eee35785474ebf3234bac33524a9 (diff) | |
| parent | d20ba9bf9c72835cc9b9ddf57adf527e7e2f504f (diff) | |
Merge pull request #679 from dbaynard/patch-1
Document font overriding behaviour
Diffstat (limited to 'modules/programs/bash')
0 files changed, 0 insertions, 0 deletions