]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3700 from davydden/index_set_index_within_set
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 27 Dec 2016 11:06:41 +0000 (04:06 -0700)
committerGitHub <noreply@github.com>
Tue, 27 Dec 2016 11:06:41 +0000 (04:06 -0700)
commit3097fc8620ee78f044e6975938cad9c71ae8c84f
treefc7fa2c17131f16352237621f0d1ec231247f02f
parent4d98aa4f9f5528a78adda97cc7d6a4f34da54564
parent881b9b79d49a89ee8b1b54b6aa7ad892bd81e700
Merge pull request #3700 from davydden/index_set_index_within_set

add alternative IndexSet::index_within_set() which does not throw an …

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.