log lib/linux-headers/linux-headers.sh @ 290:0e5dbfbf0188

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