From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2019-07-10 15:13:05
On 7/10/19 5:38 PM, Paul A Bristow via Boost wrote:
>>> git checkout develop
>>> git pull --recurse-submodules
>>> git submodule update --init
>> Just checking before I screw up git, again...
> OK I've tried this command
> I:\boost>git submodule deinit disjoint_sets
> error: pathspec 'disjoint_sets' did not match any file(s) known to git
> but I still have a folder I:\boost\.git\modules\disjoint_sets containing the
> usual submodule git folders and files.
> Should I just delete it? Or leave well alone?
You can delete .git/modules/disjoint_sets and [submodule
"disjoint_sets"] from .git/config.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk