4 Commits

Author	SHA1	Message	Date
Christian Grothoff	d22a52cc7a	fix copyright headers as per CA	2020-01-19 19:21:58 +01:00
Christian Grothoff	385b3e77df	tighten formatting rules	2019-10-31 12:59:50 +01:00
Florian Dold	eb55997084	re-format code	2019-08-25 16:18:24 +02:00
Christian Grothoff	b68adb93c6	adding skeleton code for auditor	2016-10-06 15:17:10 +02:00