diff options
| author |  Christian Hesse <mail@eworm.de> | 2019-04-03 08:30:28 +0200 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2019-04-03 08:30:28 +0200 |
| commit | ea73505ecce44ae7dd23ffc7ec16d47f1ee12040 (patch) | |
| tree | dbc53268751b84d08ea2938b98183ab092ef076e /super-mario-theme | |
| parent | 7b1c275cc2daabf29e2d027ebab3d8d2e5e07b33 (diff) | |
script-updates: send global-config changes notification just once
Diffstat (limited to 'super-mario-theme')
0 files changed, 0 insertions, 0 deletions