diff lib/gmp/gmp.info @ 84:91dce8ec3969

dev/make: add NLS and GUILE options
author David Demelier <markand@malikania.fr>
date Thu, 07 Mar 2019 20:10:00 +0100
parents 73fe5cec3773
children
line wrap: on
line diff