diff options
| author | Rémi Verschelde | 2017-07-30 22:53:40 +0200 |
|---|---|---|
| committer | Rémi Verschelde | 2017-07-30 22:53:40 +0200 |
| commit | 76005a8e75d4e63ad0477e11dbc8cc1c86666875 (patch) | |
| tree | e177bf6b716fe267ac39ec3047ff0a2156e0a59b /editor/editor_plugin_settings.cpp | |
| parent | 55494073081bd111dc6af8502f77cf344c64b56c (diff) | |
| download | godot-76005a8e75d4e63ad0477e11dbc8cc1c86666875.tar.gz godot-76005a8e75d4e63ad0477e11dbc8cc1c86666875.tar.zst godot-76005a8e75d4e63ad0477e11dbc8cc1c86666875.zip | |
