log lib/linux-headers/linux-headers.sh @ 604:ec4819b1579a

age author description
Sun, 23 Jun 2019 15:13:10 +0200 David Demelier vanilla: use prefix= instead
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