diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-07-18 07:48:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-18 07:48:02 +0200 |
| commit | fbfb9e79d3a6eddae5431b783880fd3bf124ecac (patch) | |
| tree | 4578df247234a3e4cdaeb8992c802808d1a4ea76 /editor | |
| parent | 69a4ea34c4f630c1ca353a135d768872bb54cd41 (diff) | |
| parent | e4dc52ba81c4682b4688bd23def41554a4aa82b2 (diff) | |
Merge pull request #9681 from Noshyaar/pr-license
Fix Zlib license not extracted
Diffstat (limited to 'editor')
| -rw-r--r-- | editor/SCsub | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editor/SCsub b/editor/SCsub index f0d378c097..fd56c9d772 100644 --- a/editor/SCsub +++ b/editor/SCsub @@ -268,6 +268,8 @@ def make_license_header(target, source, env): tp_license = "" tp_current = 0 + tp_licensetext.append([tp_licensename, tp_licensebody]) + about_thirdparty = "" about_tp_copyright_count = "" about_tp_license = "" |