diff network/wget/wget.sh @ 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 7c631ce1660f
children 772322ba4c00
line wrap: on
line diff