diff options
| author | Franck Cuny <franck@fcuny.net> | 2023-05-29 11:18:46 -0700 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2023-05-29 11:18:46 -0700 |
| commit | 16a5e1812031433f711371db802d972529ced7d0 (patch) | |
| tree | f260ae93b6197bc96613bf8eab9945453b8956e8 /docs/tools.org | |
| parent | profiles/default: fix the GC configuration (diff) | |
| download | world-16a5e1812031433f711371db802d972529ced7d0.tar.gz | |
workstation: more tweaks for the UI and fonts
Diffstat (limited to 'docs/tools.org')
0 files changed, 0 insertions, 0 deletions