diff options
author | Thorsten Behrens <Thorsten.Behrens@CIB.de> | 2018-04-05 00:13:18 +0200 |
---|---|---|
committer | Thorsten Behrens <Thorsten.Behrens@CIB.de> | 2018-06-30 01:37:52 +0200 |
commit | 8d736a5495b123d967416aaaac6ad3b65536d1ca (patch) | |
tree | acad02c495c755ba9b5e254328215be8d14a4e50 /icon-themes | |
parent | 09130cb17825dcbfab159a021bf1d1cbee3509a5 (diff) |
remove git-new-workdir
Seems that 'git worktree' is now the upstream-supported way to create
light-weight working directories:
https://blog.github.com/2015-07-29-git-2-5-including-multiple-worktrees-and-triangular-workflows/
Change-Id: I9f019238b59686e2a7e924869ffd2e8d1d8e2269
Reviewed-on: https://gerrit.libreoffice.org/52411
Reviewed-by: Thorsten Behrens <Thorsten.Behrens@CIB.de>
Tested-by: Thorsten Behrens <Thorsten.Behrens@CIB.de>
Diffstat (limited to 'icon-themes')
0 files changed, 0 insertions, 0 deletions