diff options
| author |  Christian Hesse <mail@eworm.de> | 2019-04-02 08:48:35 +0200 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2019-04-02 08:48:35 +0200 |
| commit | 7b1c275cc2daabf29e2d027ebab3d8d2e5e07b33 (patch) | |
| tree | 80dd56ce36e2ae7e4445fa41894aee007695b55a /doc/super-mario-theme.md | |
| parent | 594aef2aab8cc14a2d87b9ce23f00429559588d6 (diff) | |
script-updates: add option to ignore global-config changeschange-4
Diffstat (limited to 'doc/super-mario-theme.md')
0 files changed, 0 insertions, 0 deletions