diff options
| author | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2021-07-02 18:17:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-02 18:17:25 +0200 |
| commit | 6f28a171ac242d982f5b872b9af88f26b80812cf (patch) | |
| tree | 71764fb2339032c9b1f80e396ac8f0339dbabcb9 /.gitignore | |
| parent | a230f193fb63137f1934c0e37a75ec33a2c786fb (diff) | |
[DOC] Update rofi-theme(5) for github highlighting
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions