Initial commit, from repo-rebase-20080703121916_default (e96543d904a2)
Migrate branch bug18381
Simple checkout rules. More sophisticated ones will have to wait until we settle the versioning discussion.
Check out from repo URL relative to current repo URL, if known
Tool for performing mercurial operations on all the repos underneat the umbrella
If the directory already exists, don't try to clone over it.
Add Matthias' release-notes for 1.4.0
Check emulator version before doing anything.
Note regarding mnesia schema checks.
merge bug19070 into default
Propagate GNUPG_PATH properly to deb builder; remove tag
add perf test results for 1.4.0
merge heads on default
Copy all the files produced as a result of
debian packaging process.
Be more restrictive on what to upload
Merge bug19329 into default
Added required tools check under umbrella instead of
performing the check only in debian packaging.
This hack seems to fix the 'dpkg -p' problem
Verified
Add 0-9 XML to umbrella, next to the 0-8 XML