comparison lib/gmp/gmp.info @ 139:8076ef442b6c

editors: merge .sh and .info
author David Demelier <markand@malikania.fr>
date Mon, 11 Mar 2019 15:49:38 +0100
parents 73fe5cec3773
children
comparison
equal deleted inserted replaced
138:b3f3b8ed8cf2 139:8076ef442b6c