diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-04-24 17:30:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-24 17:30:35 +0200 |
commit | 58cbec8db324d60f6367e7ed99c9036abc162203 (patch) | |
tree | a24af553b78de8c730e7ccd6a096ddd7f2f1ec52 /editor/editor_spin_slider.h | |
parent | 12c36e2761793e6dde0ad5ba1e58e7ac491cca36 (diff) | |
parent | fdad0e3bd1e2f8dcfcdeae7c2617eda5ac24324e (diff) |
Merge pull request #37873 from bruvzg/git_hook_gui
Git Hooks: Add support for GUI git clients.
Diffstat (limited to 'editor/editor_spin_slider.h')
0 files changed, 0 insertions, 0 deletions