diff -r 35d237d153e0 -r cac6781d8b7f dev/clean_dev.sh
--- a/dev/clean_dev.sh	Fri May 09 16:55:12 2014 +0200
+++ b/dev/clean_dev.sh	Fri May 09 18:34:46 2014 +0200
@@ -9,7 +9,7 @@
 pushd "$ROOTPATH" > /dev/null
 
 rm -rf .installed.cfg .mr.developer.cfg parts/ eggs/ develop-eggs/ bin/ \
-    src/cm/settings_local.py test-suite/workspace.info*.js \
+    src/cm/settings_local.py src/cm/settings_dev.py test-suite/workspace.info*.js \
     test-suite/{clean-testserver.sh,karma.conf.dev.js} \
     test-suite/{start-test-suite-dev.sh,start-testserver.sh}