Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
refinedc
theories
lithium
benchmarks
dune
Find file
Blame
History
Permalink
Add missing :standard bit to dune files.
· b4154715
Rodolphe Lepigre
authored
Dec 11, 2021
b4154715