From 010fb1894fc230edd6b67e51a0c1828da3b8736b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=89milie=20Feral?= <emilie.feral@numworks.com>
Date: Mon, 6 Apr 2020 14:44:47 +0200
Subject: [PATCH] [python] Remove mpversion useless header

---
 python/port/genhdr/mpversion.h | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 python/port/genhdr/mpversion.h

diff --git a/python/port/genhdr/mpversion.h b/python/port/genhdr/mpversion.h
deleted file mode 100644
index 41fb02eec..000000000
--- a/python/port/genhdr/mpversion.h
+++ /dev/null
@@ -1,4 +0,0 @@
-// This file was generated by py/makeversionhdr.py
-#define MICROPY_GIT_TAG "v1.11-dirty"
-#define MICROPY_GIT_HASH "6f75c4f3c-dirty"
-#define MICROPY_BUILD_DATE "2019-08-21"