comparison src/number-gmp.h @ 5849:f5f72f18c310

merging heads 1
author Henry Thompson <ht@markup.co.uk>
date Fri, 27 Feb 2015 17:45:17 +0000
parents a2912073be85
children 574f0cded429
comparison
equal deleted inserted replaced
5848:e2efee0f7703 5849:f5f72f18c310