diff README.options.md @ 152:32402fd5611d

lib/linux-headers: rename from core/linux-headers, closes #1183
author David Demelier <markand@malikania.fr>
date Tue, 12 Mar 2019 20:20:00 +0100
parents c78bb6d0049c
children de03aa2d54f5
line wrap: on
line diff