2 Commits

Author	SHA1	Message	Date
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