diff graphics/libdrm/libdrm.sh @ 753:cb3df02aede3

www/webkitgtk: fix some options
author David Demelier <markand@malikania.fr>
date Wed, 07 Aug 2019 21:50:49 +0200
parents 9de04ddc6f6d
children 0e6c54d47dfb
line wrap: on
line diff