On Thu, Jul 20, 2023 at 7:20 AM Sebastian Huber
wrote:
>
> Update #3707.
> ---
> cpukit/doxygen/build.h | 82 ++
> 1 file changed, 82 insertions(+)
> create mode 100644 cpukit/doxygen/build.h
>
> diff --git a/cpukit/doxygen/build.h b/cpukit/doxygen/build.h
Update #3707.
---
cpukit/doxygen/build.h | 82 ++
1 file changed, 82 insertions(+)
create mode 100644 cpukit/doxygen/build.h
diff --git a/cpukit/doxygen/build.h b/cpukit/doxygen/build.h
new file mode 100644
index 00..e76c173eb8
--- /dev/null
+++ b/
