3 Commits

Author	SHA1	Message	Date
Christian Grothoff	84a40be0bc	fix #6170 and rest of #6164	2020-04-08 23:52:01 +02:00
Christian Grothoff	86f2d65daf	style, indentation and type fixes for lib/	2020-03-17 17:47:53 +01:00
Christian Grothoff	0a2b049864	big rename fest related to #6067 API renaming	2020-02-29 16:42:10 +01:00