diff options
author | Dan Gudmundsson <[email protected]> | 2019-08-09 12:53:45 +0200 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2019-08-09 12:53:45 +0200 |
commit | 3a32e5a726b24570e238a01d5a0eb026fc35a359 (patch) | |
tree | 2bc9da9332350df71f78704fa4a1cfe3a0db9f08 /make | |
parent | d48dd93bee87d039b80553031e7fe6625feff908 (diff) | |
parent | 1274131e7dbfe0d351b7bc6a99bdd8198a673385 (diff) | |
download | otp-3a32e5a726b24570e238a01d5a0eb026fc35a359.tar.gz otp-3a32e5a726b24570e238a01d5a0eb026fc35a359.tar.bz2 otp-3a32e5a726b24570e238a01d5a0eb026fc35a359.zip |
Merge branch 'dgud/observer/fix-darkmode/OTP-15916' into maint
* dgud/observer/fix-darkmode/OTP-15916:
observer: Fixes for html viewers
observer: Support darkmode gui
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions