diff options
| author | Fernando Vásquez <fmorataya.04@gmail.com> | 2017-08-06 06:25:17 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-06 06:25:17 -0600 |
| commit | 524b52dee5749fa0dc84f6c0ab0de4d729689349 (patch) | |
| tree | 5736d6dbbf94c49a13bd04cd8e1713ecf44c3ba5 /%3fh%3d0.3.10&id%3d5b3806d0a8e907026f181c9dba101723b9bde2fb?h=0.3.10&id=524b52dee5749fa0dc84f6c0ab0de4d729689349 | |
| parent | 1f1c21e78893d958d054bc0bb3887a40a8479507 (diff) | |
Theme is optional for GTK refresh
I thought maybe that specific theme could be optional for running the reload script.
Diffstat (limited to '%3fh%3d0.3.10&id%3d5b3806d0a8e907026f181c9dba101723b9bde2fb?h=0.3.10&id=524b52dee5749fa0dc84f6c0ab0de4d729689349')
0 files changed, 0 insertions, 0 deletions