diff options
author | Siri Hansen <[email protected]> | 2018-12-03 10:53:34 +0100 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2018-12-03 10:53:34 +0100 |
commit | ec87234564e336d5ba7d2edd330486731d1a2027 (patch) | |
tree | 734727663d173df708078f26dbb519361d59028f /erts/.gitignore | |
parent | bb5192f36d1effdd03edf23df9e31ba12eef17d7 (diff) | |
parent | 1320354d2800e6f777fc5156c52b41d7f8321442 (diff) | |
download | otp-ec87234564e336d5ba7d2edd330486731d1a2027.tar.gz otp-ec87234564e336d5ba7d2edd330486731d1a2027.tar.bz2 otp-ec87234564e336d5ba7d2edd330486731d1a2027.zip |
Merge branch 'siri/et/scroll-up/ERL-780/OTP-15463' into maint
* siri/et/scroll-up/ERL-780/OTP-15463:
[et] Improve handling of scroll bar
Diffstat (limited to 'erts/.gitignore')
0 files changed, 0 insertions, 0 deletions