diff options
| author | fpi | 2020-01-26 18:06:59 +0100 |
|---|---|---|
| committer | fpi | 2020-01-29 17:58:34 +0100 |
| commit | 7f41026fa80c93a832c9381e4f3db781d9487ef5 (patch) | |
| tree | 6648791150c685251c8281f10dd8812596a4c0ee /.gitignore | |
| parent | Fix background of default face for light customization (diff) | |
Highlight org links
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions