tree 303eece75f86b3cefdc5d2f23cc5ca1258847442
parent bb3da4dca443a6a6267ba1267b56bb7323e0cb3b
author Marc Kupietz <kupietz@ids-mannheim.de> 1766171034 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1768310942 +0100

Make hint foundries configurable

Resolves #173

and the milestone from, originally, 1 Apr 2025

Change-Id: Iaa062ae4831187c96f99f339b29cc4374cc31afd