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 /servers/xr/xr_interface.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 'servers/xr/xr_interface.h')
0 files changed, 0 insertions, 0 deletions