Update gmp headers in gnu/usr.bin/cc44
authorJohn Marino <draco@marino.st>
Sun, 27 Mar 2011 16:19:07 +0000 (18:19 +0200)
committerSascha Wildner <saw@online.de>
Mon, 4 Apr 2011 00:57:12 +0000 (02:57 +0200)
commit4c7b7ef20bba0a362da854ce5c21956a4d9f141b
treedcb32058148179c4376553eba468dfd67039101c
parent9a921eb7f79fa5560c082e73c01c14a240243f42
Update gmp headers in gnu/usr.bin/cc44
gnu/usr.bin/cc44/gmp/config.h
gnu/usr.bin/cc44/gmp/gmp.h