diff options
| author | Rémi Verschelde | 2015-12-13 00:01:04 +0100 |
|---|---|---|
| committer | Rémi Verschelde | 2015-12-13 00:01:04 +0100 |
| commit | 410e418aea16cc1c07249a9a64d3defcb8990866 (patch) | |
| tree | adec28ca65ff39bdc59ed26b427896d3a240b54e /doc/tools/doc_merge.py | |
| parent | aeb5ea59340f91ae445330c95429f903a8f20e8a (diff) | |
| download | godot-410e418aea16cc1c07249a9a64d3defcb8990866.tar.gz godot-410e418aea16cc1c07249a9a64d3defcb8990866.tar.zst godot-410e418aea16cc1c07249a9a64d3defcb8990866.zip | |
Diffstat (limited to 'doc/tools/doc_merge.py')
| -rw-r--r-- | doc/tools/doc_merge.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/tools/doc_merge.py b/doc/tools/doc_merge.py index 872f38ed8..6cc701932 100644 --- a/doc/tools/doc_merge.py +++ b/doc/tools/doc_merge.py @@ -1,3 +1,6 @@ +#!/usr/bin/python +# -*- coding: utf-8 -*- + import sys import xml.etree.ElementTree as ET |