Skip to content
Snippets Groups Projects
Commit 603469cc authored by Christoph Grüninger's avatar Christoph Grüninger
Browse files

Merge branch 'rename-mantissa-to-base' into 'master' 

rename `Mantissa` to `Base`

See merge request !1082
parents 5b3cf994 2a3d475d
Branches
Tags
1 merge request!1082rename `Mantissa` to `Base`
Pipeline #42788 passed
Stage: test
Stage: downstream
Pipeline: Dune Nightly Test

#42789

    Hide whitespace changes
    Inline Side-by-side
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Please register or to comment