comparison lib/mpfr/mpfr.info @ 137:f443cbb93f37

databases: merge .sh and .info
author David Demelier <markand@malikania.fr>
date Mon, 11 Mar 2019 15:10:39 +0100
parents ae527b6aa81a
children
comparison
equal deleted inserted replaced
136:e737b80da269 137:f443cbb93f37