|
external
|
ALL: Add flint
|
2014-05-24 23:16:06 +02:00 |
|
src
|
BUILD: Fix Makefiles for flint
|
2014-05-24 23:16:13 +02:00 |
|
.gitignore
|
Update .gitignore
|
2014-05-24 23:16:20 +02:00 |
|
COPYING
|
LICENSE: add LGPL-2.1 license file
|
2014-04-14 23:58:19 +02:00 |
|
Doxyfile
|
DOC: add Doxyfile
|
2014-04-14 22:50:16 +02:00 |
|
Makefile
|
BUILD: Fix Makefiles for flint
|
2014-05-24 23:16:13 +02:00 |
