diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-08-03 13:58:51 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-08-03 13:58:51 +0200 |
| commit | c73c327babce096faa083ade0e308a35bd0a6759 (patch) | |
| tree | 5b463f5944c8265891d3b503fbb75adef173c1a0 /editor/plugins | |
| parent | ec9302ceccb75f44038db3695d2f9e7c82cfe951 (diff) | |
Reference the online documentation in collision layer/mask properties
See https://github.com/godotengine/godot-docs/pull/3863.
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions