]> https://gitweb.dealii.org/ - dealii.git/commit
Clarify the documentation of IndexSet::is_empty(). 16640/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 13 Feb 2024 02:47:59 +0000 (19:47 -0700)
committerWolfgang Bangerth <bangerth@colostate.edu>
Tue, 13 Feb 2024 02:47:59 +0000 (19:47 -0700)
commit89ec3273e0a98a69fcd62764348b577d48fffaa3
tree0f92df06cf3980437e6a5afc4aa39412d1fd8962
parentdd74f1c9cc5de3c74d20242406452cc9b814160a
Clarify the documentation of IndexSet::is_empty().
include/deal.II/base/index_set.h

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.