Christian Grothoff 1b24e2f9bb more statistics, make explicit table lock optional, can hurt performance badly		2020-03-20 18:38:57 +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	option -i was removed	2020-03-19 15:48:50 +01:00
prebuilt@934a6a1830	more statistics, make explicit table lock optional, can hurt performance badly	2020-03-20 18:38:57 +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