log lib/linux-headers/linux-headers.sh @ 507:31534bd07b6a

age author description
Tue, 12 Mar 2019 20:20:00 +0100 David Demelier lib/linux-headers: rename from core/linux-headers, closes #1183 base core/linux-headers/linux-headers.sh@e17594285b4a