Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Tezos
tezos
Repository
tezos
src
proto_alpha
lib_protocol
script_ir_translator.ml
Find file
Blame
History
Permalink
Dune: remove `src` in `proto_*/lib_protocol`
· 28f680ab
Grégoire Henry
authored
Feb 04, 2019
and
Benjamin Canou
committed
Mar 05, 2019
28f680ab