Skip to content
GitLab
Explore
Sign in
staging
dune-typetree
Repository
dune-typetree
dune.module
Find file
Blame
History
Permalink
[Version] Bump version in dune.module to 3.0-dev
· 5dacdde9
Steffen Müthing
authored
Oct 19, 2015
Also, update requirement on dune-common to 3.0.
5dacdde9