diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2016-06-18 14:46:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-06-18 14:46:12 +0200 |
commit | a7fc04626af238bf9a80c4f3b569e1c5d70465c9 (patch) | |
tree | af573f9536dde1bd9d29569d5ea0440167ffbf41 /platform/server | |
parent | 916e84d08cf08de08ba6966a6fd28ffb2b2d6cd0 (diff) |
Add missing license headers in our source files (#5255)
Also removes a couple wrong Godot headers from third-party source files.
Diffstat (limited to 'platform/server')
-rw-r--r-- | platform/server/platform_config.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/platform/server/platform_config.h b/platform/server/platform_config.h index 72b10a0fb2..143f16c1fa 100644 --- a/platform/server/platform_config.h +++ b/platform/server/platform_config.h @@ -27,4 +27,3 @@ /* SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */ /*************************************************************************/ #include <alloca.h> - |