diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-04-25 22:57:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-25 22:57:07 +0200 |
| commit | ae8f8530afa36b4eff8756ea4ed98aa113e73518 (patch) | |
| tree | 3f66555d05c558d5f7323c6f3f7cd4270d24eab8 /doc/classes/Resource.xml | |
| parent | 562a64f98237752ba1c1932a556dd0e7f976a114 (diff) | |
| parent | 32b9b3159abd3ccd0ff4013906be93e9de2175bf (diff) | |
Merge pull request #28417 from guilhermefelipecgs/more_switch_on_hover
Set switch_on_hover to true for the remaining menus
Diffstat (limited to 'doc/classes/Resource.xml')
0 files changed, 0 insertions, 0 deletions