From: Andre Noll <maan@tuebingen.mpg.de>
Date: Wed, 4 Jun 2025 17:57:16 +0000 (+0200)
Subject: .
X-Git-Url: https://git.tuebingen.mpg.de/?a=commitdiff_plain;h=936d5fd8a255e1212dd7d2bf00043ba2d7edbdd4;p=paraslash.git

.
---

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