diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-09-10 11:20:11 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-10 11:20:11 +0200 |
commit | 1d709120804240efbbee7f0bcec81c8ba3554e03 (patch) | |
tree | 93456f148d293dfdd90c5b062b63edf70d365067 /editor/editor_feature_profile.h | |
parent | 58dcde344c383a3ce319b17525b9a427d887d135 (diff) | |
parent | 2b319889cb942f97a8d0f619ec881f068511ba7b (diff) |
Merge pull request #41890 from YeldhamDev/tabs_previous
Add 'get_previous_tab()' to 'Tabs'
Diffstat (limited to 'editor/editor_feature_profile.h')
0 files changed, 0 insertions, 0 deletions