Christian Grothoff 357dbc0235 revert bank API change, we will not do this here after all		2020-02-11 23:01:49 +01:00
..
doxygen	deduplicate doxyfiles, integrate with build	2020-01-18 23:19:48 +01:00
logos	del	2019-04-24 19:28:31 +02:00
paper	FIXMEs in the paper.	2018-05-25 19:04:40 +02:00
prebuilt@934a6a1830	revert bank API change, we will not do this here after all	2020-02-11 23:01:49 +01:00
.gitignore	update ignore file	2017-04-10 17:21:04 +02:00
Makefile.am	deduplicate doxyfiles, integrate with build	2020-01-18 23:19:48 +01:00