diff -r f36260133ed9 -r 6cbcec19079b dev/clean_dev.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dev/clean_dev.sh	Wed Mar 12 16:52:58 2014 +0100
@@ -0,0 +1,15 @@
+#!/usr/bin/env bash
+
+pushd `dirname $0` > /dev/null
+SCRIPTPATH=`pwd -P`
+popd > /dev/null
+
+ROOTPATH="$SCRIPTPATH/.."
+
+pushd "$ROOTPATH" > /dev/null
+
+rm -rfv .installed.cfg .mr.developer.cfg parts/ eggs/ develop-eggs/ bin/ src/cm/settings_local.py src/cm/scripts/test-suite/workspace.info*.js
+find . -name '*.pyc' -or -name '*.egg-info' | xargs rm -rvf
+
+popd > /dev/null
+