]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 4bcafcf)
Add a changelog entry. 15928/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 24 Aug 2023 23:34:41 +0000 (17:34 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Fri, 25 Aug 2023 00:12:17 +0000 (18:12 -0600)
doc/news/changes/minor/20230824Bangerth [new file with mode: 0644] patch | blob

diff --git a/doc/news/changes/minor/20230824Bangerth b/doc/news/changes/minor/20230824Bangerth
new file mode 100644 (file)
index 0000000..433e722
--- /dev/null
+++ b/doc/news/changes/minor/20230824Bangerth
@@ -0,0 +1,3 @@
+New: The function IndexSet::is_subset_of() does as its name suggests.
+<br>
+(Wolfgang Bangerth, 2023/08/24)
Mirror of the development repository for deal.II

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.