diff lib/mpfr/mpfr.info @ 139:8076ef442b6c

editors: merge .sh and .info
author David Demelier <markand@malikania.fr>
date Mon, 11 Mar 2019 15:49:38 +0100
parents ae527b6aa81a
children
line wrap: on
line diff