From 9d8285864aacda5f321e473f4d9298a183f41645 Mon Sep 17 00:00:00 2001
From: Elrond <elrond+mediagoblin.org@samba-tng.org>
Date: Wed, 16 Jan 2013 19:50:48 +0100
Subject: [PATCH] Remove DEFAULT_WORKBENCH_DIR.

We never used this.
Removed, as okayed by cwebber.
---
 mediagoblin/workbench.py | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/mediagoblin/workbench.py b/mediagoblin/workbench.py
index 0d4db52b..0bd4096b 100644
--- 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
 # ----------------------
 
-- 
2.25.1