From a05f1d7b1075c99d34fd7690e209a4d89f8955da Mon Sep 17 00:00:00 2001
From: sn-amber <amberger.stefan@gmail.com>
Date: Wed, 22 Feb 2012 13:03:42 +0100
Subject: [PATCH] bugfix: - original pizza tool can be loaded again and does  
 not throw an error due to resources missing   anymore

---
 src/DEFAULTS.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/DEFAULTS.py b/src/DEFAULTS.py
index f13ac12..1423d0b 100644
--- a/src/DEFAULTS.py
+++ b/src/DEFAULTS.py
@@ -25,7 +25,7 @@
 
 #PIZZA_TOOLS = ["~/mystuff/new_pizza_tools"]
 #PIZZA_SCRIPTS = ["~/mystuff/new_pizza_scripts"]
-PIZZA_EXCLUDE = ["pizza", "DEFAULTS", "vizinfo"]
+PIZZA_EXCLUDE = ["pizza", "DEFAULTS", "vizinfo", "dump2force"]
 
 # --------------
 # --------------