mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-26 15:03:53 +01:00
Without this command the `log.h` documentation gets mangled with the `core_util` documentation.
Without this command the `log.h` documentation gets mangled with the `core_util` documentation.