From 3e598a17cfbaa692edb226e1910e4eea70dd4020 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Sun, 30 May 2021 21:49:01 +0530
Subject: [PATCH] Add headers to options def files

---
 kittens/diff/options/definition.py | 6 ++++++
 kitty/options/definition.py        | 6 ++++++
 2 files changed, 12 insertions(+)

diff --git a/kittens/diff/options/definition.py b/kittens/diff/options/definition.py
index 359631705..b6c8c80d1 100644
--- a/kittens/diff/options/definition.py
+++ b/kittens/diff/options/definition.py
@@ -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
 
 
diff --git a/kitty/options/definition.py b/kitty/options/definition.py
index 9bf867752..67ffa8e32 100644
--- a/kitty/options/definition.py
+++ b/kitty/options/definition.py
@@ -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