diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2018-04-04 13:44:56 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-04 13:44:56 +0000 |
| commit | 63c6c2dbdc4a63a0a5f4b8eb9642bb9fe69f387e (patch) | |
| tree | 9d5ff97ffe2d883bca28038cdc951bcccdfb9d88 /pkgs/development/python-modules/httpserver | |
| parent | fcbe4afe184b4cd137848a775decc420571b745a (diff) | |
| parent | 26a4e02e956ed287bc85f2b0f729a79343f0be92 (diff) | |
Merge pull request #36785 from Ma27/configurable-rofi-theme
rofi: add `theme` option
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions