Jens Lehmann <jens.lehm...@web.de> writes: > Am 12.03.2013 17:22, schrieb Junio C Hamano: >> Phil Hord <phil.h...@gmail.com> writes: >> >>> I think this would be clearer if 'git deinit' said >>> >>> rm 'submodule/*' >>> >>> or maybe >>> >>> Removed workdir for 'submodule' >>> >>> Is it just me? >> >> The latter may probably be better. > > Hmm, it doesn't really remove the directory but only empties it > (it recreates it a few lines after removing it together with its > contents). So what about > > Cleared directory 'submodule'
Sounds the cleanest among the suggested phrasing so far. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
