Damien George 40f3c02682 Rename machine_(u)int_t to mp_(u)int_t. ...

See discussion in issue #50.

2014-07-03 13:25:24 +01:00

..

.gitignore

…

main.c

Add license header to (almost) all files.

2014-05-03 23:27:38 +01:00

Makefile

build: Simplify build directory layout by putting all headers in genhdr.

2014-04-17 18:03:27 +01:00

mpconfigport.h

Rename machine_(u)int_t to mp_(u)int_t.

2014-07-03 13:25:24 +01:00