projects
/
themes.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
also remove devtools from list of directories to process
[themes.git]
/
origdiff
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=