projects
/
themes.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
88a5a08
)
also remove devtools from list of directories to process
author
Robert Kaiser
<kairo@kairo.at>
Fri, 24 Mar 2017 16:18:42 +0000
(17:18 +0100)
committer
Robert Kaiser
<kairo@kairo.at>
Fri, 24 Mar 2017 16:18:42 +0000
(17:18 +0100)
origdiff
patch
|
blob
|
blame
|
history
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=