]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18029 from bangerth/index-set
authorBruno Turcksin <bruno.turcksin@gmail.com>
Fri, 24 Jan 2025 01:02:56 +0000 (20:02 -0500)
committerGitHub <noreply@github.com>
Fri, 24 Jan 2025 01:02:56 +0000 (20:02 -0500)
commit7f5db50250d56c85ad6c79f11fab9a883f8f8793
tree1f63d8eff742ec0823ed3552946adf8d56fe1584
parentcb2f6e4c3e82d09b59cf43656e57c78724f15184
parent39a7ad74b29fc37773bbefd8d19a82c2915a6bcd
Merge pull request #18029 from bangerth/index-set

Deprecate IndexSet::pop_front/back().

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.