Merge branch 'jl/submodule-deinit'
authorJunio C Hamano <gitster@pobox.com>
Fri, 5 Apr 2013 21:15:13 +0000 (14:15 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 5 Apr 2013 21:15:13 +0000 (14:15 -0700)
commit7b72ec5e14656af2d48c7a2a0b7251c35903bbaf
tree256a8fc8eaba0b2b22f0853d88ecba58d7c5f04f
parentcb660275789973aa56128b3fbbda4bdff270572a
parent7b294bf4948931a915cee2d5a692235e9b9c0e27
Merge branch 'jl/submodule-deinit'

A finishing touch to the new topic in 1.8.3.

* jl/submodule-deinit:
  submodule deinit: clarify work tree removal message
git-submodule.sh
t/t7400-submodule-basic.sh