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 /%253fh%253d1.2.3&id%253dd9a0865277dfdfe7951b9b429d5af1f2be27d66c%3fh%3d1.2.3&id%3d5b3806d0a8e907026f181c9dba101723b9bde2fb?h=1.2.3&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 '%253fh%253d1.2.3&id%253dd9a0865277dfdfe7951b9b429d5af1f2be27d66c%3fh%3d1.2.3&id%3d5b3806d0a8e907026f181c9dba101723b9bde2fb?h=1.2.3&id=524b52dee5749fa0dc84f6c0ab0de4d729689349')
0 files changed, 0 insertions, 0 deletions