diff options
| author | Junio C Hamano <gitster@pobox.com> | 2008-03-15 00:05:40 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-03-15 00:05:40 -0700 |
| commit | 2a2ad0c0007b9f79768b4564644ac9eaaa7310b6 (patch) | |
| tree | 1c0d7de9a2be2891718df0a5a443af4ff51208e4 /contrib | |
| parent | fac4b328874ccf515a42e30173d0e008382ac276 (diff) | |
| parent | a0b54e7b73415f92225ddf29fe655399bafd4938 (diff) | |
| download | git-2a2ad0c0007b9f79768b4564644ac9eaaa7310b6.tar.gz | |
Merge branch 'maint'
* maint:
Make man page building quiet when DOCBOOK_XSL_172 is defined
git-new-workdir: Share SVN meta data between work dirs and the repository
rev-parse: fix meaning of rev~ vs rev~0.
git-svn: don't blindly append '*' to branch/tags config
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/workdir/git-new-workdir | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/workdir/git-new-workdir b/contrib/workdir/git-new-workdir index 2838546d16..7959eab902 100755 --- a/contrib/workdir/git-new-workdir +++ b/contrib/workdir/git-new-workdir @@ -63,7 +63,7 @@ mkdir -p "$new_workdir/.git" || die "unable to create \"$new_workdir\"!" # create the links to the original repo. explictly exclude index, HEAD and # logs/HEAD from the list since they are purely related to the current working # directory, and should not be shared. -for x in config refs logs/refs objects info hooks packed-refs remotes rr-cache +for x in config refs logs/refs objects info hooks packed-refs remotes rr-cache svn do case $x in */*) |