diff options
Diffstat (limited to 'tools/dev_env_setup/templates/add_dev_tools_folder.py')
| -rw-r--r-- | tools/dev_env_setup/templates/add_dev_tools_folder.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/dev_env_setup/templates/add_dev_tools_folder.py b/tools/dev_env_setup/templates/add_dev_tools_folder.py index 03ee041..3e8df1b 100644 --- a/tools/dev_env_setup/templates/add_dev_tools_folder.py +++ b/tools/dev_env_setup/templates/add_dev_tools_folder.py @@ -39,8 +39,6 @@ def get_settings_string(layout): settings.sync() print root - time.sleep(20) - if __name__ == "__main__": layout = get_default_layout() write_folder_data() |