log lib/gmp/gmp.sh @ 140:ef65bd5eb573

age author description
Mon, 11 Mar 2019 16:33:11 +0100 David Demelier lib: merge .sh and .info
Fri, 01 Mar 2019 19:43:54 +0100 David Demelier lib/gmp: initial import, closes #1153