Add headers to options def files

2021-05-31 17:40:49 +05:30
parent c1b13f2db2
commit 3e598a17cf
2 changed files with 12 additions and 0 deletions
@@ -1,3 +1,9 @@
+#!/usr/bin/env python
+# vim:fileencoding=utf-8
+# License: GPLv3 Copyright: 2021, Kovid Goyal <kovid at kovidgoyal.net>
+
+# After editing this file run ./gen-config.py to apply the changes
+
 from kitty.conf.types import Action, Definition


@@ -1,3 +1,9 @@
+#!/usr/bin/env python
+# vim:fileencoding=utf-8
+# License: GPLv3 Copyright: 2021, Kovid Goyal <kovid at kovidgoyal.net>
+
+# After editing this file run ./gen-config.py to apply the changes
+
 from kitty.conf.types import Action, Definition