From: Rene Gassmoeller <rene.gassmoeller@mailbox.org>
Date: Thu, 10 Oct 2024 13:56:18 +0000 (+0200)
Subject: Merge pull request #17717 from fernandohv3279/add_empty_function_to_collection
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d05d5f3b3839337b8a063402458f8de3b75bcc61;p=dealii.git

Merge pull request #17717 from fernandohv3279/add_empty_function_to_collection

Add empty() function to deal.II/hp/collection.h and use it instead of size() == 0
---

d05d5f3b3839337b8a063402458f8de3b75bcc61