projects / mediagoblin.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 49745d5)
Remove DEFAULT_WORKBENCH_DIR.
authorElrond <elrond+mediagoblin.org@samba-tng.org>
Wed, 16 Jan 2013 18:50:48 +0000 (19:50 +0100)
committerElrond <elrond+mediagoblin.org@samba-tng.org>
Thu, 17 Jan 2013 21:11:05 +0000 (22:11 +0100)
We never used this.
Removed, as okayed by cwebber.

mediagoblin/workbench.py patch | blob | blame | history

diff --git a/mediagoblin/workbench.py b/mediagoblin/workbench.py
index 0d4db52bccc0a2f342578a96dbbec1d7e96017d1..0bd4096b47ab47e4fa7340934e8a93c2be358a3b 100644 (file)
--- a/mediagoblin/workbench.py
+++ b/mediagoblin/workbench.py
@@ -19,10 +19,6 @@ import shutil
 import tempfile
 
 
-DEFAULT_WORKBENCH_DIR = os.path.join(
-    tempfile.gettempdir(), u'mgoblin_workbench')
-
-
 # Actual workbench stuff
 # ----------------------
 
Unnamed repository; edit this file 'description' to name the repository.