Remove devtools dependencies moved to devtools switch (!331) · Merge requests · Tezos / opam-repository · GitLab

This is an archived project. Repository and other project resources are read-only.

Raphaël Proust requested to merge raphael-p@use-dedicated-switch-for-devtools into master Jun 30, 2022

Companion of tezos!5103 (closed)