ProtoEnv: remove `protocol.mli` and `tezos_data.mli` (fix #2897) (!5177) · Merge requests · Tezos / tezos · GitLab

G.-B. Fefe requested to merge g.b.fefe/tezos:cleanup_env into master May 03, 2022

This is following !4961 (merged) and a fix for #2897 (closed) @raphael-proust @mbouaziz

Edited May 03, 2022 by Mehdi Bouaziz