diff options
| author | Dave Davenport <qball@gmpclient.org> | 2017-11-05 15:28:17 +0100 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2017-11-05 15:28:17 +0100 |
| commit | 74106921f448854baa545a2bb188bf9c39cd4638 (patch) | |
| tree | 16bafc2e51fb76152f69d6c5dd47f5b70fc1fbc0 /.gitignore | |
| parent | ac91da123cfcaf5e75c6d6e7547aeddb80253009 (diff) | |
Install rofi-theme-selector manpage.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -32,7 +32,6 @@ /textbox_test /rofi /doc/*.html -/doc/*.1 /doc/*.doxy /gitconfig.h |