diff options
| author | Michael Vetter <jubalh@iodoru.org> | 2022-04-01 12:16:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-01 12:16:09 +0200 |
| commit | 7eab15d2b23adbfe0ecd3cbce552987b25aa9206 (patch) | |
| tree | c6ee1129a18a34c84425275f65f608d32376d940 /themes/gruvbox | |
| parent | 56ccbf68a85581ce6d8c7ec88ac6387e1c91ec3c (diff) | |
| parent | 8ffa6f74520d0b0b667fefcd9ceb3d51a3b687e7 (diff) | |
| download | profani-tty-7eab15d2b23adbfe0ecd3cbce552987b25aa9206.tar.gz | |
Merge pull request #1668 from paulfertser/document-input-rc
Document custom input configuration in man page
Diffstat (limited to 'themes/gruvbox')
0 files changed, 0 insertions, 0 deletions