diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-06-25 16:24:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-25 16:24:39 +0200 |
| commit | 4e867a1d7a3864ee8c9c8611b6cc406fa3f0900b (patch) | |
| tree | 902dd73016ad5f578742ac114bad0bfe41fd76c7 /platform/haiku/os_haiku.h | |
| parent | 74bd1bf1c28eedafcee571408d135a07359ebee2 (diff) | |
| parent | 7a18b9590611a329c9a654cd0b378ce0a051c6b6 (diff) | |
Merge pull request #19698 from Chaosus/theme_submenu
Move Theme options to submenu
Diffstat (limited to 'platform/haiku/os_haiku.h')
0 files changed, 0 insertions, 0 deletions