tools: Minor change.

2023-08-22 11:43:03 +02:00 · 2023-08-22 11:43:03 +02:00 · 798e442fc0
parent bb56c92938
commit 798e442fc0
1 changed files with 2 additions and 0 deletions
--- 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))))