From 87c82fffb7fe6cc56846e347dbd7aa74e4737053 Mon Sep 17 00:00:00 2001 From: Marek Ventur Date: Sat, 1 Sep 2018 18:27:03 +0100 Subject: [PATCH] Delete bootstrap.py on sync --- .development/copy_via_repl_header.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.development/copy_via_repl_header.py b/.development/copy_via_repl_header.py index 3e139fc..6e69bea 100644 --- a/.development/copy_via_repl_header.py +++ b/.development/copy_via_repl_header.py @@ -74,3 +74,8 @@ def clean(path=""): os.remove(full) except Exception as e: print("Error while trying to clean '%s'" % full) + +try: + os.remove("bootstrap.py") +except: + pass