also remove devtools from list of directories to process

diff --git a/origdiff b/origdiff
index c417476c882e24eda9693757acf9b30dc10c3b97..d9a350713525afec36ece8e131ae70d8c8411f78 100755 (executable)
--- a/origdiff
+++ b/origdiff
@@ -18,7 +18,7 @@ TAG_POST_EXT=tip #SEAMONKEY_2_50_RELEASE
 
 # ===================== process repos =====================
 
-REPO_LIST="COMM MOZ MOZB MOZD DOMI CZ"
+REPO_LIST="COMM MOZ MOZB DOMI CZ"
 
 HG_COMM_DIR=/mnt/mozilla/hg/comm-beta
 COMM_HG_OPTIONS=