Skip to content
Snippets Groups Projects
Commit 1a54ff0d authored by graeser's avatar graeser
Browse files

Merge branch 'cleanup/remove-arithmetic' into 'master'

[cleanup] Remove deprecated header arithmetic.hh

See merge request !84
parents 27edd4e2 4adf069c
No related branches found
No related tags found
1 merge request!84[cleanup] Remove deprecated header arithmetic.hh
Pipeline #65734 passed