mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-17 10:33:49 +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.