]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3665 from gassmoeller/add_pop_front_index_set
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 8 Dec 2016 03:35:40 +0000 (20:35 -0700)
committerGitHub <noreply@github.com>
Thu, 8 Dec 2016 03:35:40 +0000 (20:35 -0700)
commitb1ae4b91cba7e43d1244c6af70d39780a43e82f1
treebfbc274afd07ff83d5f034586e5456424e53fb20
parent672b66f508171a3279ccabb3df190ab5e8dc9656
parentac2ccaa668f816763c42eefd892daee2ad7adb5e
Merge pull request #3665 from gassmoeller/add_pop_front_index_set

Add convenience functions to IndexSet
include/deal.II/base/index_set.h
source/base/index_set.cc

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.