From beb441cb5d339db72d4bc94a6a34ca8e38a54286 Mon Sep 17 00:00:00 2001
From: Robert Kaiser <kairo@kairo.at>
Date: Fri, 24 Mar 2017 17:18:42 +0100
Subject: [PATCH] also remove devtools from list of directories to process

---
 origdiff | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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=
-- 
2.35.3