diff --git a/tools/license.el b/tools/license.el index a35e4308fa47a7ed8af75bdd708b7fc1c8195e0e..cdc37cbf68085ea66417a40da5341fbc0995805a 100644 --- a/tools/license.el +++ b/tools/license.el @@ -38,4 +38,6 @@ # # You should have received a copy of the GNU General Public License # along with this program. If not, see <https://www.gnu.org/licenses/>. + +# -*- coding: utf-8 -*- " filename))))