mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-25 06:23:53 +01:00
4289ed175c
On case-insensitive file systems the root Kconfig file clashes with the kconfig folder where we keep constants and features, producing the deletion of one of them. This renames the folder to remove the conflict.