Adding terminator

This commit is contained in:
lfield 2018-11-07 10:09:52 +01:00 committed by GitHub
parent 0655f09ff8
commit 842f76b26d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -356,6 +356,7 @@ global $server_version;
$git_commit = "{commit}";
$server_version = "{version}";
?>
'''.format(commit=commit, version=version)
f = open(os.path.join(dest_dir, 'release.inc'), 'w')
f.write(content)