diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-10-03 13:28:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-03 13:28:14 +0200 |
| commit | c1cee80829f10d32cc23067291321b049af7082d (patch) | |
| tree | ad155aa65ac0b18b3c5c78fd61867768eb58c462 /scene/gui/video_player.h | |
| parent | 93513ba818c7f3c4ad0d35e1c905dff7b3e90015 (diff) | |
| parent | 980aa276e382a242f0940887f8e0da6eb36630b3 (diff) | |
Merge pull request #22668 from groud/add_open_docs
Add a shortcut to the documentation in the scene tree RMB menu
Diffstat (limited to 'scene/gui/video_player.h')
0 files changed, 0 insertions, 0 deletions