From 4d87007c95c54110e5477e1e933beeb1eff19dd4 Mon Sep 17 00:00:00 2001 From: Gabor Kiss-Vamosi Date: Tue, 22 Sep 2020 06:20:45 +0200 Subject: [PATCH] Delete a.patch --- a.patch | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 a.patch diff --git a/a.patch b/a.patch deleted file mode 100644 index 9616d7c22..000000000 --- a/a.patch +++ /dev/null @@ -1,29 +0,0 @@ -diff --git a/scripts/release.py b/scripts/release.py -index 28370c66..bc5234e7 100755 ---- a/scripts/release.py -+++ b/scripts/release.py -@@ -395,12 +395,12 @@ def docs_update_dev_version(): - os.chdir("../") - - --def publish_dev(): -+def publish_dev_and_master(): - pub_cmd = "git checkout dev; git push origin dev" - cmd("cd lvgl; " + pub_cmd) -+ pub_cmd = "git checkout master; git push origin master" -+ cmd("cd lvgl; " + pub_cmd) - -- pub_cmd = "git checkout dev; git push origin dev" -- cmd("cd docs; " + pub_cmd) - cmd("cd docs; git checkout master; ./update.py latest dev") - - def cleanup(): -@@ -463,7 +463,7 @@ if __name__ == '__main__': - - lvgl_update_dev_version() - docs_update_dev_version() -- publish_dev() -+ publish_dev_and_master() - - cleanup() -