diff databases/db/db.sh @ 1149:ee4b956157fe

kernel/linux-headers: rename from lib/linux-headers
author David Demelier <markand@malikania.fr>
date Wed, 25 Sep 2019 21:10:00 +0200
parents 297b5eef115e
children 6710613b88b9
line wrap: on
line diff