diff options
author | Gonzalo Odiard <godiard@gmail.com> | 2012-06-09 04:33:12 (GMT) |
---|---|---|
committer | Gonzalo Odiard <godiard@gmail.com> | 2012-07-10 12:23:09 (GMT) |
commit | d38fb3610c618fc4e3b9d8e86224cd4d7156fa48 (patch) | |
tree | 532dfcd7c7d31b0be162500f2a2c11637153842b /develop-activity/develop_app.py | |
parent | 779cbd12d78165ea2ebcd69275441dbed4863f18 (diff) |
Remove code to update MANIFEST file
Signed-off-by: Gonzalo Odiard <gonzalo@laptop.org>
Diffstat (limited to 'develop-activity/develop_app.py')
-rw-r--r-- | develop-activity/develop_app.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/develop-activity/develop_app.py b/develop-activity/develop_app.py index 2722962..53ce1d8 100644 --- a/develop-activity/develop_app.py +++ b/develop-activity/develop_app.py @@ -861,10 +861,6 @@ class DevelopFileToolbar(gtk.Toolbar): def _show_new_file(self, filename): if os.path.isfile(filename): - with file(os.path.join(self.activity.activity_dir, "MANIFEST"), - "a") as manifest: - manifest.write(filename[len(os.path.join( - self.activity.activity_dir, "")):] + "\n") self.activity.refresh_files() else: self.activity.debug_msg(_("Error: file creation failed."), |