components/gnump/gmp.license
changeset 706 6e61f0012046
parent 219 22d9e175d379
child 1205 6c6c27bcf9ac