From: Robert Kaiser <kairo@kairo.at>
Date: Fri, 24 Mar 2017 16:18:42 +0000 (+0100)
Subject: also remove devtools from list of directories to process
X-Git-Tag: LCARStrek-2.50~6
X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=commitdiff_plain;h=beb441cb5d339db72d4bc94a6a34ca8e38a54286

also remove devtools from list of directories to process
---

diff --git a/origdiff b/origdiff
index c417476c..d9a35071 100755
--- 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=