diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-05 00:50:27 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-05 01:22:23 +0100 |
commit | e4213e66b2dd8f5a87d8cf5015ac83ba3143279d (patch) | |
tree | 884f562c3e39b501187ebbb2a202d9268e3428fb /editor/plugins/script_text_editor.cpp | |
parent | eb892cd0f123244446e14fe0c1f40981116c4d37 (diff) |
Add missing copyright headers and fix formatting
Using `misc/scripts/fix_headers.py` on all Godot files.
Some missing header guards were added, and the header inclusion order
was fixed in the Bullet module.
Diffstat (limited to 'editor/plugins/script_text_editor.cpp')
-rw-r--r-- | editor/plugins/script_text_editor.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/plugins/script_text_editor.cpp b/editor/plugins/script_text_editor.cpp index 9ad4bfb037..f1ed984fee 100644 --- a/editor/plugins/script_text_editor.cpp +++ b/editor/plugins/script_text_editor.cpp @@ -27,6 +27,7 @@ /* TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE */ /* SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */ /*************************************************************************/ + #include "script_text_editor.h" #include "editor/editor_node.h" |