auditor

commit f97ee428e90ea66f6a103b9b039a054206a9073e
parent cc37eb61c15f0d31775b3d3d88ae02777b35bd7a
Author: Christian Grothoff <christian@grothoff.org>
Date:   Thu, 27 May 2021 14:13:09 +0200

update build scripts