Skip to content
Snippets Groups Projects
Forked from Core Modules / dune-common
4063 commits behind the upstream repository.
user avatar
Carsten Gräser authored
... and don't take absolute value of comparison result.
Thanks to Max Kahnt for reporting this.
57a43efa
History