unnecessary change

This commit is contained in:
Andreas Fabri 2024-10-01 11:15:16 +01:00
parent f91765503c
commit a661671fdf
1 changed files with 0 additions and 1 deletions

View File

@ -85,7 +85,6 @@ Hole_const_iterator holes_end() const;
/*! returns the range of holes. /*! returns the range of holes.
*/ */
const Holes_container& holes() const; const Holes_container& holes() const;
/// @} /// @}