[PATCH] remove GIT_REPO_NAMES (duplicated by GIT_NEEDED_SUBMODULES)

Hi,

I have submitted a patch for review:

    https://gerrit.libreoffice.org/912

To pull it, you can do:

    git pull ssh://gerrit.libreoffice.org:29418/core refs/changes/12/912/1

remove GIT_REPO_NAMES (duplicated by GIT_NEEDED_SUBMODULES)

use plain copy instead of git-new-workdir when using --with-linked-git
configure switch (point it to your master copy of the core-repo)
also remove obsolete bin/create_bootstrap_links, bin/mkworkdir and
bin/repo-list[.in]

Change-Id: I37028badf2c46a24a3d628e80476efe4dd365d06
---
M Makefile
M Makefile.top
D bin/create_bootstrap_links
D bin/mkworkdir
D bin/repo-list.in
M config_host.mk.in
M configure.ac
M download
8 files changed, 12 insertions(+), 146 deletions(-)


--
To view, visit https://gerrit.libreoffice.org/912
To unsubscribe, visit https://gerrit.libreoffice.org/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I37028badf2c46a24a3d628e80476efe4dd365d06
Gerrit-PatchSet: 1
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: Christian Lohmaier <lohmaier+LibreOffice@googlemail.com>