diff options
author | BrickPi <49528459+BrickPi@users.noreply.github.com> | 2023-03-01 17:53:32 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-01 17:53:32 +0100 |
commit | 541dbca9f227b0ff060adc0238c9238abc725f84 (patch) | |
tree | 57425d71120433e30d34031c70b120effb76b924 /docs/images/proj-setup/05-scons.png | |
parent | 3b7201214474cd5f6b1dc3790e9b293a1fa6ced1 (diff) | |
parent | 45c5994af1040508666b9717bc1022309e590879 (diff) |
Merge pull request #48 from Spartan322/fix/erroneous-theme-changes
Make default_theme a text resource
Diffstat (limited to 'docs/images/proj-setup/05-scons.png')
0 files changed, 0 insertions, 0 deletions