diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-27 08:08:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-27 08:08:20 +0100 |
| commit | 9178e8c678c9952073bbfbacda41a4af28fd260c (patch) | |
| tree | 3e06821657c5e76d19f98cfd507fbd8ebc994bd1 /scene/resources/default_theme | |
| parent | 5db45fbaf351883e37fdcdece854139b6b236d4b (diff) | |
| parent | f5951e757d5d20ec50a816d495d2d57a3d1dd212 (diff) | |
Merge pull request #35602 from Calinou/add-bash-completion
Add a Bash completion script for the Godot editor
Diffstat (limited to 'scene/resources/default_theme')
0 files changed, 0 insertions, 0 deletions