diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-01 09:45:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-01 09:45:08 +0200 |
| commit | d7163fb77a53a469d7351708fa779ea631ad92a3 (patch) | |
| tree | 4a389900fbbfc62bfae09c4e7f0a567f26ec1731 /thirdparty/vhacd/0001-bullet-namespace.patch | |
| parent | 44bddecb8942c7be106a6d94538b2791c3948bd6 (diff) | |
| parent | 7056c825a3d54111b1a1b960ffabefdd72db3793 (diff) | |
Merge pull request #24708 from uzimonkey/sub-resource-names-in-script-editor
Add sub-resource name when available to script editor
Diffstat (limited to 'thirdparty/vhacd/0001-bullet-namespace.patch')
0 files changed, 0 insertions, 0 deletions