Commit 53c9d7f7 authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'ralf/dom' into 'master'

make dom domain type paremeter (D) implicit

Closes #137

See merge request iris/stdpp!376
parents b7a5fed7 6b885cdd
Pipeline #65858 passed with stage
in 12 minutes and 15 seconds