mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-24 14:03:55 +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.