[go: up one dir, main page]

ProtoEnv: remove `protocol.mli` and `tezos_data.mli` (fix #2897)

G.-B. Feferequested to merge
g.b.fefe/tezos:cleanup_env into master

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

Edited by Mehdi Bouaziz

Merge request reports