]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6141 from masterleinad/fix_comparator_constness
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Mon, 2 Apr 2018 14:05:05 +0000 (16:05 +0200)
committerGitHub <noreply@github.com>
Mon, 2 Apr 2018 14:05:05 +0000 (16:05 +0200)
commita945163cc353565ab7166473d33fbc71c49644b9
tree0f440dabe4286240c08a23fb44f3b082c178fc88
parent21b1cf10df73b52d2923c80b3b4670fe210a056a
parenteff9b77cdb7354d50b7bf59c575cc901026e0fab
Merge pull request #6141 from masterleinad/fix_comparator_constness

Make comparator const

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.