Diffusion Development environment 5ce4866bcefb

loader-opam: Dedicate loader as it needs an extra configuration key
5ce4866bcefb
Actions

Tags

None

Subscribers

None

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

loader-opam: Dedicate loader as it needs an extra configuration key

The initialize_opam_root must be set to True if we want to be able to use it in
standalone mode.

Related to T3590

Details

Provenance

ardumont	Authored on Sep 29 2021, 9:54 AM
ardumont	Pushed on Sep 29 2021, 11:00 AM

Event Timeline

ardumont committed rDENV5ce4866bcefb: loader-opam: Dedicate loader as it needs an extra configuration key (authored by ardumont).Sep 29 2021, 11:00 AM

Commit No Longer Exists

This commit no longer exists in the repository.