From 936d5fd8a255e1212dd7d2bf00043ba2d7edbdd4 Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Wed, 4 Jun 2025 19:57:16 +0200
Subject: [PATCH] .

---
 buffer_tree.h | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/buffer_tree.h b/buffer_tree.h
index 70fb3055..e1115ace 100644
--- a/buffer_tree.h
+++ b/buffer_tree.h
@@ -1,9 +1,6 @@
 /* Copyright (C) 2009 Andre Noll <maan@tuebingen.mpg.de>, see file COPYING. */
 
-/**
- * \file buffer_tree.h Buffer tree management.
- *
- * Buffer trees and buffer tree nodes.
+/** \file buffer_tree.h Buffer trees, buffer tree nodes and buffer pools.
  *
  * The buffer tree API offers an efficient method for managing the data flow
  * from a producer (e.g. the network receiver) to the consumer(s) (e.g. a sound
-- 
2.39.5