cleaned dev branch for merge: removing projects from local manifest works +…

cleaned dev branch for merge: removing projects from local manifest works + adding again works + deleted project-dirs are resynced + updated docu

NOTES.mkd

@@ -15,7 +15,9 @@
         * set debug host: --debug-host=172.31.0.250
         * (used port is 19499)
 * using local git-repo (in $GIT_REPO; branch 'dev') and local git repositories (in $REPOS)
-$GIT_REPO/repo init -u $REPOS/manifest/ --no-repo-verify --repo-branch=dev
+    $GIT_REPO/repo init -u $REPOS/manifest/ --no-repo-verify --repo-branch=dev
+* Tracing: set environment variable
+    export REPO_TRACE=1
 
 
 # repo functionality

repo

@@ -241,7 +241,6 @@ def _Init(args):
     dst = os.path.abspath(os.path.join(repodir, S_repo))
     _Clone(url, dst, opt.quiet)
 
-    print(opt.no_repo_verify)
     if can_verify and not opt.no_repo_verify:
       rev = _Verify(dst, branch, opt.quiet)
     else: