diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2025-04-01 03:53:02 +0300 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2025-04-01 03:53:02 +0300 |
| commit | f545bf9d078ef89ca649bf5cb2c0f442f1eaf7eb (patch) | |
| tree | f3b0c129ee378eec0ce3c4898c2def254b6a3165 | |
| parent | 5e8e13bc7490ae666cf3cef15c345edf10702cdc (diff) | |
updated Scinterm to v5.4: Only show scroll bars when they can be scrolled
| m--------- | contrib/scinterm | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/scinterm b/contrib/scinterm -Subproject fcc2c2028f3c21410ba8e5eff95b2013acb798b +Subproject c2186fb728bb207b74a6dc1e502adc8e68c08f6 |